l4-hackers  

Messages by Thread

• 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ář
• L4Re on Raspi 3 Yanneck Geiger
  • Re: L4Re on Raspi 3 Adam Lackorzynski
  • Re: L4Re on Raspi 3 Paul Boddie
  • Re: L4Re on Raspi 3 Adam Lackorzynski
  • Re: L4Re on Raspi 3 Paul Boddie
• Resource sharing John Galt
  • Re: Resource sharing Adam Lackorzynski
• Build tutorial for the Zynq Ultrascale+ Jorge Miguel Perez Utrera
  • Re: Build tutorial for the Zynq Ultrascale+ Adam Lackorzynski
• search CPP u-kernel, i knock in the good dors ? heitai
  • Re: search CPP u-kernel, i knock in the good dors ? Paul Boddie
• Invitation: Systems Software Innovations Summit 2021 Martin Decky
• L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Christian Ludwig
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Philipp Eppelt
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Philipp Eppelt
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Philipp Eppelt
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Paul Boddie
  • Re: L4Re: region mapper/manager concurrency considerations and resource limits Philipp Eppelt
• Boot problems with Fiasco.OC on the NanoPC-T3 Plus Andreas Resch
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Matthias Lange
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Adam Lackorzynski
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Andreas Resch
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Andreas Steinmetzler
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Andreas Resch
  • Re: Boot problems with Fiasco.OC on the NanoPC-T3 Plus Matthias Lange
• Fiasco.OC won't boot on Aaeon FWS2360 ... Andreas Steinmetzler
  • Re: Fiasco.OC won't boot on Aaeon FWS2360 ... Adam Lackorzynski
  • Re: Fiasco.OC won't boot on Aaeon FWS2360 ... Andreas Steinmetzler
• CfP: FOSDEM 2021 - Microkernel Devroom Martin Decky
• Raspberry Pi SD access Mohamed Nasr
  • Re: Raspberry Pi SD access Adam Lackorzynski
• L4Linux with hardware access on amd64 PC ... Andreas Steinmetzler
  • Re: L4Linux with hardware access on amd64 PC ... Adam Lackorzynski
  • Re: L4Linux with hardware access on amd64 PC ... Andreas Steinmetzler
  • Re: L4Linux with hardware access on amd64 PC ... Andreas Steinmetzler
  • Re: L4Linux with hardware access on amd64 PC ... Matthias Lange
  • Re: L4Linux with hardware access on amd64 PC ... Andreas Steinmetzler
• L4Re: Identifying the source location of a program exception Paul Boddie
  • Re: L4Re: Identifying the source location of a program exception Frank Mehnert
  • Re: L4Re: Identifying the source location of a program exception Paul Boddie
  • Re: L4Re: Identifying the source location of a program exception Jean Wolter
  • Re: L4Re: Identifying the source location of a program exception Paul Boddie
• uvmm support for AMD-V Andreas Steinmetzler
  • Re: uvmm support for AMD-V Adam Lackorzynski
• Question on availability of 'Live Hacking - HW Enforced Virtualization Of Linux Home Gateway' Andreas Steinmetzler
• Access to Arm Trusted Firmware Stefan Kalkowski
  • Re: Access to Arm Trusted Firmware Matthias Lange
  • Re: Access to Arm Trusted Firmware Stefan Kalkowski
  • Re: Access to Arm Trusted Firmware Matthias Lange
• Problems Compiling L4RE with L4Linux Or Becker
  • Re: Problems Compiling L4RE with L4Linux Matthias Lange
  • Re: Problems Compiling L4RE with L4Linux Or Becker
  • Re: Problems Compiling L4RE with L4Linux Jakub Jermar
• Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Andrew Warkentin
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Andrew Warkentin
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Andrew Warkentin
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • Re: Compatibility of microkernel systems with legacy OSes; was L4Re with GCC 9; Repositories and Roadmaps Andrew Warkentin
  • UX/RT Architecture (was Re: Compatibility of microkernel systems with legacy OSes) Paul Boddie
  • Re: UX/RT Architecture (was Re: Compatibility of microkernel systems with legacy OSes) Andrew Warkentin
  • Re: UX/RT Architecture (was Re: Compatibility of microkernel systems with legacy OSes) Paul Boddie
• L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • Re: L4Re with GCC 9; Repositories and Roadmaps Matthias Lange
  • Re: L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • Re: L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • Re: L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • Re: L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: L4Re with GCC 9; Repositories and Roadmaps Andrew Warkentin
  • Re: L4Re with GCC 9; Repositories and Roadmaps Martin Decky
  • Re: L4Re with GCC 9; Repositories and Roadmaps Paul Boddie
  • C Library Experiments (was Re: L4Re with GCC 9; Repositories and Roadmaps) Paul Boddie
• Hardware-aided Trusted Computing devroom at FOSDEM Vasily A. Sartakov

• Earlier messages