l4-hackers  

Messages by Thread

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

• Earlier messages