l4-hackers  

Messages by Thread

• • 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
• Alignment checking on ARM Al Grant
  • Re: Alignment checking on ARM Adam Lackorzynski
• Kernel Helpers segmentation fault Sateesh K
  • Re: Kernel Helpers segmentation fault Matthias Lange
  • Re: Kernel Helpers segmentation fault Adam Lackorzynski
  • Re: Kernel Helpers segmentation fault Sateesh K
• http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html Sateesh K
  • Re: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html Matthias Lange
• CfP: FOSDEM 2020 - Microkernels and Component-based OS devroom Julian Stecklina
  • CfP: FOSDEM 2020 - Microkernels and Component-based OS devroom Julian Stecklina
• Re: Unable to create Goos FB in UEFI mode Adam Lackorzynski
• Full virtualization on Raspberry PI 4 clim atisefr
  • Re: Full virtualization on Raspberry PI 4 Adam Lackorzynski
• Porting Pistachio to Cell Tyson Key
• Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Adam Lackorzynski
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Matthias Lange
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Sarah Hoffmann
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • Re: Fiasco.OC-UX on MIPS? Adam Lackorzynski
  • Re: Fiasco.OC-UX on MIPS? Paul Boddie
  • QEMU/KVM on MIPS (was Re: Fiasco.OC-UX on MIPS?) Paul Boddie
• New L4Re component released: virtio-net Jakub Jermar
• kernel error ssrmurthy saka
• Enable L4Linux network access on Raspberry Pi-b. Lei Zhou
  • RE: Enable L4Linux network access on Raspberry Pi-b. Lei Zhou
  • Re: Enable L4Linux network access on Raspberry Pi-b. Adam Lackorzynski
• L4Re, BUILD_ARCH, cross-building for ARM on MIPS Paul Boddie
  • Re: L4Re, BUILD_ARCH, cross-building for ARM on MIPS Adam Lackorzynski
• How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • Re: How to enable Guest Linux VM on Raspberry PI3? Jakub Jermar
  • Re: How to enable Guest Linux VM on Raspberry PI3? Adam Lackorzynski
  • RE: How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • RE: How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • RE: How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • Re: How to enable Guest Linux VM on Raspberry PI3? Adam Lackorzynski
  • RE: How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • RE: How to enable Guest Linux VM on Raspberry PI3? Lei Zhou
  • Re: How to enable Guest Linux VM on Raspberry PI3? Adam Lackorzynski
• Fwd: l4linux running lmbench yangzeng
  • Re: Fwd: l4linux running lmbench Adam Lackorzynski
• Want to run L4Re on Raspberry PI. Lei Zhou
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • RE: Want to run L4Re on Raspberry PI. Lei Zhou
  • Re: Want to run L4Re on Raspberry PI. Matthias Lange
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Matthias Lange
  • Re: Want to run L4Re on Raspberry PI. Lei Zhou
  • Re: Want to run L4Re on Raspberry PI. Lei Zhou
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • RE: Want to run L4Re on Raspberry PI. Lei Zhou
  • RE: Want to run L4Re on Raspberry PI. Lei Zhou
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Christian Pötzsch
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Paul Boddie
  • Re: Want to run L4Re on Raspberry PI. Adam Lackorzynski
• L4linux startup problem yangzeng
• L4Linux with L4Re and Fiasco.OC-UX Paul Boddie
  • Re: L4Linux with L4Re and Fiasco.OC-UX Adam Lackorzynski
  • Re: L4Linux with L4Re and Fiasco.OC-UX Paul Boddie
• Raspberry Pi 3B and L4Linux Dejan Cotra
  • Re: Raspberry Pi 3B and L4Linux Adam Lackorzynski
• Invalidating mapped flexpages in pagers Paul Boddie
  • Re: Invalidating mapped flexpages in pagers Philipp Eppelt
  • Re: Invalidating mapped flexpages in pagers Paul Boddie
  • Re: Invalidating mapped flexpages in pagers Philipp Eppelt
  • Re: Invalidating mapped flexpages in pagers Paul Boddie
  • Re: Invalidating mapped flexpages in pagers Paul Boddie
• Huawei R&D lab in Dresden Martin Decky
• Setting up ssd and hard disk in l4linux Xinyue Wu
  • Re: Setting up ssd and hard disk in l4linux Adam Lackorzynski
• some questions about l4bd.c in l4linux yadong . li
  • Re: some questions about l4bd.c in l4linux Adam Lackorzynski
• Communication between L4Linux tasks and L4re tasks Canberk Demirsoy
  • Re: Communication between L4Linux tasks and L4re tasks Adam Lackorzynski
• QEMU advent calendar Matthias Lange
• New L4Re projects released Matthias Lange
• Poll for Separation Kernel (microkernel) CC Protection Profile Holger Blasum
  • Re: Poll for Separation Kernel (microkernel) CC Protection Profile Holger Blasum
• UEFI L4 image? Peter Wiehe
  • Re: UEFI L4 image? Matthias Lange
  • Re: UEFI L4 image? Peter Wiehe
  • Re: UEFI L4 image? Matthias Lange
  • Re: UEFI L4 image? Peter Wiehe
• UEFI Peter Wiehe
  • Re: UEFI Matthias Lange
• FOSDEM 2019 - Microkernels developer room - CfP Sebastian Sumpf
  • Re: FOSDEM 2019 - Microkernels developer room - CfP teclis High Elf
• OS/Microkernel Engineers Wanted! Osman Ismael
• Call from 8-bytes aligned stack to functions that require 16-bytes stack alignment Yuxuan Shui
• Issues about server multi-threading on L4Re 李 鼎基
  • Re: Issues about server multi-threading on L4Re Jakub Jermar
  • RE: Issues about server multi-threading on L4Re 李 鼎基
• High 32 bits of SFMASK is reserved Yuxuan Shui
  • Re: High 32 bits of SFMASK is reserved Adam Lackorzynski
  • Re: High 32 bits of SFMASK is reserved Matthias Lange
• cost (cycles + cache) of setup and use of IPC mechanisms Zenaan Harkness
  • Re: cost (cycles + cache) of setup and use of IPC mechanisms Zenaan Harkness
• Information on implementing L4 John
  • Re: Information on implementing L4 Gernot Heiser
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 Gernot Heiser
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 Vasily A. Sartakov
  • Re: Information on implementing L4 Gernot Heiser
  • Re: Information on implementing L4 Gábor Wacha
  • Re: Information on implementing L4 Zenaan Harkness
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Paul Boddie
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Andrew Warkentin
  • Re: Information on implementing L4 Gernot Heiser
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 John
  • Re: Information on implementing L4 Gernot Heiser
  • Moving code into applications (was Re: Information on implementing L4) Paul Boddie
  • Re: Moving code into applications (was Re: Information on implementing L4) Andrew Warkentin
  • Re: Moving code into applications (was Re: Information on implementing L4) Paul Boddie
• L4linux booting problem on IMX.6 based board [email protected]
  • Re: L4linux booting problem on IMX.6 based board Jakub Jermář
• Genode 18.08 brings modern hardware support Stefan Kalkowski
• Filesystem Architectures with L4Re and L4-Based Systems Paul Boddie
  • Re: Filesystem Architectures with L4Re and L4-Based Systems Paul Boddie
• L4Re Build Failure on i386 (Revision 80) Paul Boddie
  • Re: L4Re Build Failure on i386 (Revision 80) Adam Lackorzynski
  • Re: L4Re Build Failure on i386 (Revision 80) Paul Boddie
  • Re: L4Re Build Failure on i386 (Revision 80) Paul Boddie
  • Re: L4Re Build Failure on i386 (Revision 80) Paul Boddie
  • Re: L4Re Build Failure on i386 (Revision 80) Adam Lackorzynski
  • Re: L4Re Build Failure on i386 (Revision 80) Paul Boddie
  • Re: L4Re Build Failure on i386 (Revision 80) Paul Boddie
• L4Re development version available on GitHub Jakub Jermar
• Release of Sculpt TC Alexander Boettcher
  • Re: Release of Sculpt TC Paul Boddie
  • Re: Release of Sculpt TC Alexander Boettcher

• Earlier messages
• Later messages