l4-hackers  

Messages by Date

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

• Earlier messages