l4-hackers  

Messages by Date

• 2025/01/15 Re: USB on L4RE Paul Boddie
• 2025/01/15 USB on L4RE Flavio Erlich
• 2025/01/12 AW: emmc-driver imx8mp Alvaro Gallardo
• 2025/01/07 Re: How to L4Re on the S32G qiang xu
• 2025/01/07 Re: How to L4Re on the S32G Adam Lackorzynski
• 2025/01/07 Re: How to L4Re on the S32G qiang xu
• 2025/01/06 Re: How to L4Re on the S32G Adam Lackorzynski
• 2025/01/05 Re: How to L4Re on the S32G qiang xu
• 2025/01/05 Re: How to L4Re on the S32G Adam Lackorzynski
• 2025/01/05 Re: emmc-driver imx8mp Adam Lackorzynski
• 2025/01/04 How to L4Re on the S32G qiang xu
• 2024/12/18 emmc-driver imx8mp Alvaro Gallardo
• 2024/12/05 Re: Network failure when high traffic Philipp Eppelt
• 2024/12/01 Network failure when high traffic Mohamed Dawod
• 2024/11/27 Re: Video Error Reasons? Philipp Eppelt
• 2024/11/26 Re: Video Error Reasons? Martin Decky
• 2024/11/26 Re: Video Error Reasons? Lonnie via l4-hackers
• 2024/11/26 Re: Video Error Reasons? Philipp Eppelt
• 2024/11/25 Re: CPU Virtualization in L4 Philipp Eppelt
• 2024/11/25 CPU Virtualization in L4 Mohamed Dawod
• 2024/11/18 Re: Porting apps to L4Re? Philipp Eppelt
• 2024/11/13 Video Error Reasons? Lonnie Cumberland via l4-hackers
• 2024/11/13 Re: Porting apps to L4Re? Paul Boddie
• 2024/11/13 Porting apps to L4Re? Lonnie via l4-hackers
• 2024/11/13 Re: Generating EFI files Lonnie Cumberland via l4-hackers
• 2024/11/13 Re: Throughput questions.... Philipp Eppelt
• 2024/11/13 Re: Throughput questions.... Philipp Eppelt
• 2024/11/12 RE: Throughput questions.... Richard Clark
• 2024/11/12 Re: Throughput questions.... Adam Lackorzynski
• 2024/11/12 Re: Generating EFI files Adam Lackorzynski
• 2024/11/11 Re: Debugging memory allocation in L4Re Paul Boddie
• 2024/11/11 Re: Generating EFI files Lonnie Cumberland via l4-hackers
• 2024/11/11 Re: Throughput questions.... Adam Lackorzynski
• 2024/11/11 Throughput questions.... Richard Clark
• 2024/11/11 Re: Debugging memory allocation in L4Re Philipp Eppelt
• 2024/11/11 Re: Qemu Demos Philipp Eppelt
• 2024/11/10 Re: Generating EFI files Adam Lackorzynski
• 2024/11/10 Re: Building Screenshots and examples Lonnie Cumberland via l4-hackers
• 2024/11/08 Generating EFI files Lonnie Cumberland
• 2024/11/08 Re: Qemu Demos Paul Boddie
• 2024/11/08 Qemu Demos Lonnie Cumberland
• 2024/11/07 Debugging memory allocation in L4Re Paul Boddie
• 2024/11/07 Re: vm-basic-pci demo testing Philipp Eppelt
• 2024/11/07 Re: Building Screenshots and examples Philipp Eppelt
• 2024/11/06 Re: Building Screenshots and examples Lonnie Cumberland
• 2024/11/06 Re: Building Screenshots and examples Philipp Eppelt
• 2024/11/06 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Mohamed Dawod
• 2024/11/06 vm-basic-pci demo testing Mohamed Dawod
• 2024/11/05 Re: Building Screenshots and examples Paul Boddie
• 2024/11/05 Re: Building Screenshots and examples Lonnie Cumberland
• 2024/11/05 Re: Building Screenshots and examples Lonnie Cumberland
• 2024/11/05 Re: Building Screenshots and examples Philipp Eppelt
• 2024/11/05 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Philipp Eppelt
• 2024/11/05 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Mohamed Dawod
• 2024/11/04 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Philipp Eppelt
• 2024/11/04 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Philipp Eppelt
• 2024/11/03 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Mohamed Dawod
• 2024/11/03 Building Screenshots and examples Lonnie Cumberland
• 2024/10/31 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Philipp Eppelt
• 2024/10/31 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Mohamed Dawod
• 2024/10/30 Re: Multiple CPU support for uvmm on virt-arm64 qemu machine Philipp Eppelt
• 2024/10/30 [FOSDEM 2025] Call for Participation: Microkernel and Component-Based OS Devroom Udo Steinberg
• 2024/10/29 Re: vm-basic-pci demo is not working for arm64 Mohamed Dawod
• 2024/10/29 Multiple CPU support for uvmm on virt-arm64 qemu machine Mohamed Dawod
• 2024/10/27 Re: vm-basic-pci demo is not working for arm64 Mohamed Dawod
• 2024/10/24 Re: vm-basic-pci demo is not working for arm64 Philipp Eppelt
• 2024/10/24 Re: vm-basic-pci demo is not working for arm64 Mohamed Dawod
• 2024/10/23 Re: vm-basic-pci demo is not working for arm64 Philipp Eppelt
• 2024/10/22 Re: vm-basic-pci demo is not working for arm64 Philipp Eppelt
• 2024/10/21 Re: vm-basic-pci demo is not working for arm64 Philipp Eppelt
• 2024/10/20 PCIe handling in virt arm64 Mohamed Dawod
• 2024/10/20 Re: vm-basic-pci demo is not working for arm64 Mohamed Dawod
• 2024/10/15 Re: vm-basic-pci demo is not working for arm64 Matthias Lange
• 2024/10/15 vm-basic-pci demo is not working for arm64 Mohamed Dawod
• 2024/10/09 Re: virtio disk handling Matthias Lange
• 2024/10/09 Re: virtio disk handling Jakub Jermář
• 2024/10/09 virtio disk handling Mohamed Dawod
• 2024/09/02 Re: sharing RTC device between 2 linux VMs Adam Lackorzynski
• 2024/09/01 Re: sharing RTC device between 2 linux VMs Mohamed Dawod
• 2024/08/29 Re: sharing RTC device between 2 linux VMs Adam Lackorzynski
• 2024/08/26 sharing RTC device between 2 linux VMs Mohamed Dawod
• 2024/05/02 Fwd: Systems Meetup ("Mikrokernstammtisch") 16.05 (Do.) @ Cyberus Office Jan Bierbaum
• 2024/04/12 Re: 23.10.1 amd64 l4linux doesn't build Richard Clark
• 2024/04/12 Re: 23.10.1 amd64 l4linux doesn't build Adam Lackorzynski
• 2024/04/11 Re: 23.10.1 amd64 l4linux doesn't build Richard Clark
• 2024/04/11 Re: 23.10.1 amd64 l4linux doesn't build Adam Lackorzynski
• 2024/04/11 Re: 23.10.1 amd64 l4linux doesn't build Richard Clark
• 2024/04/11 Re: 23.10.1 amd64 l4linux doesn't build Adam Lackorzynski
• 2024/04/11 23.10.1 amd64 l4linux doesn't build Richard Clark
• 2024/01/25 Re: uClibc and pthreads Pascal Scholz
• 2024/01/24 Re: uClibc and pthreads Marcus Hähnel
• 2024/01/24 uClibc and pthreads Pascal Scholz
• 2023/12/30 Re: Which C++ version does Fiasco use Marcus Haehnel
• 2023/12/29 Re: Which C++ version does Fiasco use Frank Mehnert
• 2023/12/29 Which C++ version does Fiasco use teclis High Elf
• 2023/11/15 CfP: Microkernel and Component-based OS Devroom at FOSDEM 2024 Martin Decky
• 2023/11/13 Re: L4Re: stack allocation of moderately large arrays Adam Lackorzynski
• 2023/11/13 L4Re: stack allocation of moderately large arrays Paul Boddie
• 2023/09/19 Re: L4Re: Input via UART fails with Ned involvement Paul Boddie
• 2023/09/19 Re: L4Re: Input via UART fails with Ned involvement Philipp Eppelt
• 2023/09/19 Re: L4Re: Input via UART fails with Ned involvement Philipp Eppelt
• 2023/09/18 L4Re: Input via UART fails with Ned involvement Paul Boddie
• 2023/08/22 Re: L4Re uvmm guest OS Adam Lackorzynski
• 2023/08/22 L4Re uvmm guest OS Radu Aron
• 2023/06/11 Re: ARM TrustZone with UVMM Adam Lackorzynski
• 2023/06/05 ARM TrustZone with UVMM Michael Willig
• 2023/05/24 Re: L4Re: Allocating pinned memory and obtaining its physical address Paul Boddie
• 2023/05/23 Re: L4Re: Allocating pinned memory and obtaining its physical address Paul Boddie
• 2023/05/23 Re: L4Re: Allocating pinned memory and obtaining its physical address Philipp Eppelt
• 2023/05/22 Re: L4Re: Allocating pinned memory and obtaining its physical address Paul Boddie
• 2023/05/21 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/21 Re: L4Re: Boot module copying and the MIPS Creator CI20 Adam Lackorzynski
• 2023/05/19 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/19 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/14 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/12 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/11 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/10 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/10 Re: L4Re: Boot module copying and the MIPS Creator CI20 Philipp Eppelt
• 2023/05/09 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/05/07 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/04/29 Re: L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/04/26 L4Re: Boot module copying and the MIPS Creator CI20 Paul Boddie
• 2023/04/23 Re: L4Re: Allocating pinned memory and obtaining its physical address Jakub Jermář
• 2023/04/22 L4Re: Allocating pinned memory and obtaining its physical address Paul Boddie
• 2023/03/11 Re: building x86-32 Adam Lackorzynski
• 2023/03/11 Aw: Re: building x86-32 Lieutenant_Beaver
• 2023/03/09 Re: building x86-32 Matthias Lange
• 2023/03/09 building x86-32 Lieutenant_Beaver
• 2023/01/26 GI Operating-Systems + Fault Tolerance Meeting Horst Schirmeier
• 2022/10/01 Re: L4Re: uClibc and UTCB/TCR initialisation Paul Boddie
• 2022/10/01 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/09/30 Re: Creating tasks and the l4_task_map function Philipp Eppelt
• 2022/09/30 Re: Creating tasks and the l4_task_map function Frank Mehnert
• 2022/09/29 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/09/29 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/09/29 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/09/29 Re: Creating tasks and the l4_task_map function Philipp Eppelt
• 2022/09/28 Re: Creating tasks and the l4_task_map function Philipp Eppelt
• 2022/09/23 L4Re: uClibc and UTCB/TCR initialisation Paul Boddie
• 2022/09/23 Re: Is there a benchmark for the IPC of L4Re? Matthias Lange
• 2022/09/22 Is there a benchmark for the IPC of L4Re? Mincheol Sung
• 2022/09/19 Re: Build for x86_64 bare-metal machine Matthias Lange
• 2022/09/18 Build for x86_64 bare-metal machine Mincheol Sung
• 2022/09/18 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/09/11 Re: NXP LX2160 Uboot Fail Adam Lackorzynski
• 2022/09/08 Re: NXP LX2160 Uboot Fail rib0327
• 2022/08/31 Re: NXP LX2160 Uboot Fail Adam Lackorzynski
• 2022/08/31 NXP LX2160 Uboot Fail rib0327
• 2022/08/28 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/08/28 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/08/28 Re: Problem with newest Git-Version (RPi4) Adam Lackorzynski
• 2022/08/25 Problem with newest Git-Version (RPi4) rib0327
• 2022/08/20 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/07/11 Re: Qemu cannot launch pre-built epi images using OVMF.fd 郭聪
• 2022/07/11 Re: Qemu cannot launch pre-built epi images using OVMF.fd Matthias Lange
• 2022/07/06 Qemu cannot launch pre-built epi images using OVMF.fd 郭聪
• 2022/07/04 How to build a bootable l4linux image 郭聪
• 2022/05/03 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/05/03 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/28 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/28 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/25 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/24 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/22 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/21 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/21 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/20 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/18 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/18 Re: Unresolved page faults when running l4linux-mag Adam Lackorzynski
• 2022/04/18 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/11 Re: Creating tasks and the l4_task_map function Paul Boddie
• 2022/04/10 Re: Creating tasks and the l4_task_map function Adam Lackorzynski
• 2022/04/10 Creating tasks and the l4_task_map function Paul Boddie
• 2022/03/20 Re: Unresolved page faults when running l4linux-mag Haohui Mai
• 2022/03/20 Re: Unresolved page faults when running l4linux-mag Haohui Mai
• 2022/03/20 Unresolved page faults when running l4linux-mag Haohui Mai
• 2022/03/03 Re: Where is the latest L4Linux repo? Marcus Hähnel
• 2022/03/03 Where is the latest L4Linux repo? Haohui Mai
• 2022/02/05 Re: Unable to boot hello example. Adam Lackorzynski
• 2021/12/06 CfP: Microkernel and Component-based OS Devroom at FOSDEM 2022 Martin Decky
• 2021/10/05 Re: Basic support for HiKey960 & SMP question Martin Decky
• 2021/09/22 Re: Basic support for HiKey960 & SMP question Jakub Jermář
• 2021/09/21 Re: Basic support for HiKey960 & SMP question Jakub Jermář
• 2021/09/21 Re: Basic support for HiKey960 & SMP question Martin Decky
• 2021/09/20 Re: Basic support for HiKey960 & SMP question Jakub Jermář
• 2021/09/20 Re: Basic support for HiKey960 & SMP question Martin Decky
• 2021/09/19 Re: l4re + rpi4 + mmc + vm + net Adam Lackorzynski
• 2021/09/19 Re: Basic support for HiKey960 & SMP question Adam Lackorzynski
• 2021/09/19 Re: l4re + rpi4 + mmc + vm + net Matthieu Fatrez
• 2021/09/18 l4re + rpi4 + mmc + vm + net Matthieu Fatrez
• 2021/09/17 Basic support for HiKey960 & SMP question Martin Decky
• 2021/09/12 Re: l4re + l4linux on aarch64 - raspi4 Adam Lackorzynski
• 2021/09/09 Re: l4re + l4linux on aarch64 - raspi4 Matthieu Fatrez
• 2021/09/08 Re: l4re + l4linux on aarch64 - raspi4 Adam Lackorzynski
• 2021/09/06 l4re + l4linux on aarch64 - raspi4 Matthieu Fatrez
• 2021/08/28 Re: Change in l4re_rm_attach behaviour? Jakub Jermář
• 2021/08/27 Re: Change in l4re_rm_attach behaviour? Paul Boddie
• 2021/08/27 Re: Change in l4re_rm_attach behaviour? Jakub Jermář
• 2021/08/26 Change in l4re_rm_attach behaviour? Paul Boddie

• Earlier messages