l4-hackers
Thread
Date
Earlier messages
Later messages
Messages by Date
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
2019/12/12
Hardware-aided Trusted Computing devroom at FOSDEM
Vasily A. Sartakov
2019/12/02
Re: Filesystem Architectures with L4Re and L4-Based Systems
Paul Boddie
2019/11/26
Re: Alignment checking on ARM
Adam Lackorzynski
2019/11/26
Alignment checking on ARM
Al Grant
2019/11/13
Re: Kernel Helpers segmentation fault
Sateesh K
2019/11/13
Re: Kernel Helpers segmentation fault
Adam Lackorzynski
2019/11/13
Re: Kernel Helpers segmentation fault
Matthias Lange
2019/11/12
Kernel Helpers segmentation fault
Sateesh K
2019/11/04
Re: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html
Matthias Lange
2019/11/01
http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html
Sateesh K
2019/10/03
CfP: FOSDEM 2020 - Microkernels and Component-based OS devroom
Julian Stecklina
2019/10/03
CfP: FOSDEM 2020 - Microkernels and Component-based OS devroom
Julian Stecklina
2019/09/30
QEMU/KVM on MIPS (was Re: Fiasco.OC-UX on MIPS?)
Paul Boddie
2019/09/10
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/09/09
Re: Fiasco.OC-UX on MIPS?
Adam Lackorzynski
2019/09/09
Re: Unable to create Goos FB in UEFI mode
Adam Lackorzynski
2019/08/30
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/08/29
Re: Full virtualization on Raspberry PI 4
Adam Lackorzynski
2019/08/29
Full virtualization on Raspberry PI 4
clim atisefr
2019/08/29
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/08/28
Re: Fiasco.OC-UX on MIPS?
Sarah Hoffmann
2019/08/28
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/08/22
Porting Pistachio to Cell
Tyson Key
2019/08/22
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/08/22
Re: Fiasco.OC-UX on MIPS?
Matthias Lange
2019/08/22
Re: Fiasco.OC-UX on MIPS?
Paul Boddie
2019/08/18
Re: Fiasco.OC-UX on MIPS?
Adam Lackorzynski
2019/08/11
Fiasco.OC-UX on MIPS?
Paul Boddie
2019/07/29
New L4Re component released: virtio-net
Jakub Jermar
2019/07/03
kernel error
ssrmurthy saka
2019/06/27
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/26
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/24
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/24
Re: Want to run L4Re on Raspberry PI.
Christian Pötzsch
2019/06/23
Re: Enable L4Linux network access on Raspberry Pi-b.
Adam Lackorzynski
2019/06/21
RE: Enable L4Linux network access on Raspberry Pi-b.
Lei Zhou
2019/06/20
Enable L4Linux network access on Raspberry Pi-b.
Lei Zhou
2019/06/17
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/16
Re: How to enable Guest Linux VM on Raspberry PI3?
Adam Lackorzynski
2019/06/16
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/06/13
RE: How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/06/13
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/13
RE: How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/06/13
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/06/13
Re: How to enable Guest Linux VM on Raspberry PI3?
Adam Lackorzynski
2019/06/12
RE: How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/06/11
RE: How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/06/11
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/11
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/06/10
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/10
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/10
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/06/10
Re: L4Re, BUILD_ARCH, cross-building for ARM on MIPS
Adam Lackorzynski
2019/06/10
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/06/10
L4Re, BUILD_ARCH, cross-building for ARM on MIPS
Paul Boddie
2019/06/07
RE: How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/06/07
Re: How to enable Guest Linux VM on Raspberry PI3?
Adam Lackorzynski
2019/06/07
Re: How to enable Guest Linux VM on Raspberry PI3?
Jakub Jermar
2019/06/07
How to enable Guest Linux VM on Raspberry PI3?
Lei Zhou
2019/05/30
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/05/29
RE: Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/29
RE: Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Matthias Lange
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski
2019/05/29
Re: Fwd: l4linux running lmbench
Adam Lackorzynski
2019/05/29
Fwd: l4linux running lmbench
yangzeng
2019/05/29
Re: Want to run L4Re on Raspberry PI.
Matthias Lange
2019/05/28
RE: Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/28
Re: Want to run L4Re on Raspberry PI.
Paul Boddie
2019/05/28
Want to run L4Re on Raspberry PI.
Lei Zhou
2019/05/20
L4linux startup problem
yangzeng
2019/04/04
Re: L4Linux with L4Re and Fiasco.OC-UX
Paul Boddie
2019/04/02
Re: L4Linux with L4Re and Fiasco.OC-UX
Adam Lackorzynski
2019/03/28
L4Linux with L4Re and Fiasco.OC-UX
Paul Boddie
2019/03/27
Re: Raspberry Pi 3B and L4Linux
Adam Lackorzynski
2019/03/27
Raspberry Pi 3B and L4Linux
Dejan Cotra
2019/03/19
Re: Invalidating mapped flexpages in pagers
Paul Boddie
2019/03/18
Re: Invalidating mapped flexpages in pagers
Paul Boddie
2019/03/18
Re: Invalidating mapped flexpages in pagers
Philipp Eppelt
2019/03/18
Re: Invalidating mapped flexpages in pagers
Paul Boddie
2019/03/18
Re: Invalidating mapped flexpages in pagers
Philipp Eppelt
2019/03/17
Invalidating mapped flexpages in pagers
Paul Boddie
2019/03/07
Huawei R&D lab in Dresden
Martin Decky
2019/02/25
Re: Setting up ssd and hard disk in l4linux
Adam Lackorzynski
2019/02/25
Setting up ssd and hard disk in l4linux
Xinyue Wu
2019/02/20
Re: some questions about l4bd.c in l4linux
Adam Lackorzynski
2019/02/20
some questions about l4bd.c in l4linux
yadong . li
2019/02/16
Re: Communication between L4Linux tasks and L4re tasks
Adam Lackorzynski
2019/02/16
Communication between L4Linux tasks and L4re tasks
Canberk Demirsoy
2019/01/20
Re: Poll for Separation Kernel (microkernel) CC Protection Profile
Holger Blasum
2018/12/21
QEMU advent calendar
Matthias Lange
2018/12/20
New L4Re projects released
Matthias Lange
2018/11/26
Re: UEFI L4 image?
Peter Wiehe
2018/11/26
Re: UEFI L4 image?
Matthias Lange
2018/11/26
Re: UEFI L4 image?
Peter Wiehe
2018/11/26
Poll for Separation Kernel (microkernel) CC Protection Profile
Holger Blasum
2018/11/26
Re: UEFI L4 image?
Matthias Lange
2018/11/24
UEFI L4 image?
Peter Wiehe
2018/11/23
Re: UEFI
Matthias Lange
2018/11/22
UEFI
Peter Wiehe
2018/10/12
Re: FOSDEM 2019 - Microkernels developer room - CfP
teclis High Elf
2018/10/11
FOSDEM 2019 - Microkernels developer room - CfP
Sebastian Sumpf
2018/10/05
Re: Moving code into applications (was Re: Information on implementing L4)
Paul Boddie
2018/10/02
OS/Microkernel Engineers Wanted!
Osman Ismael
2018/09/26
Call from 8-bytes aligned stack to functions that require 16-bytes stack alignment
Yuxuan Shui
2018/09/21
RE: Issues about server multi-threading on L4Re
李 鼎基
2018/09/21
Re: Issues about server multi-threading on L4Re
Jakub Jermar
2018/09/21
Issues about server multi-threading on L4Re
李 鼎基
2018/09/20
Re: High 32 bits of SFMASK is reserved
Matthias Lange
2018/09/18
Re: High 32 bits of SFMASK is reserved
Adam Lackorzynski
2018/09/18
High 32 bits of SFMASK is reserved
Yuxuan Shui
2018/09/17
Re: Moving code into applications (was Re: Information on implementing L4)
Andrew Warkentin
2018/09/17
Moving code into applications (was Re: Information on implementing L4)
Paul Boddie
2018/09/17
Re: cost (cycles + cache) of setup and use of IPC mechanisms
Zenaan Harkness
2018/09/14
cost (cycles + cache) of setup and use of IPC mechanisms
Zenaan Harkness
2018/09/14
Re: Information on implementing L4
Andrew Warkentin
2018/09/14
Re: Information on implementing L4
Gernot Heiser
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Andrew Warkentin
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Gernot Heiser
2018/09/14
Re: Information on implementing L4
Andrew Warkentin
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Andrew Warkentin
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Paul Boddie
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Andrew Warkentin
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
John
2018/09/14
Re: Information on implementing L4
Gernot Heiser
2018/09/14
Re: Information on implementing L4
Zenaan Harkness
2018/09/14
Re: Information on implementing L4
Gábor Wacha
2018/09/13
Re: Information on implementing L4
Vasily A. Sartakov
2018/09/13
Re: Information on implementing L4
Andrew Warkentin
2018/09/13
Re: Information on implementing L4
Gernot Heiser
2018/09/13
Re: Information on implementing L4
Andrew Warkentin
2018/09/13
Re: Information on implementing L4
John
2018/09/13
Re: Information on implementing L4
John
2018/09/13
Re: Information on implementing L4
Andrew Warkentin
2018/09/13
Re: Information on implementing L4
John
2018/09/13
Re: Information on implementing L4
Gernot Heiser
2018/09/13
Information on implementing L4
John
2018/09/04
Re: L4linux booting problem on IMX.6 based board
Jakub Jermář
2018/09/04
L4linux booting problem on IMX.6 based board
diming.zh...@gmail.com
2018/08/30
Genode 18.08 brings modern hardware support
Stefan Kalkowski
2018/08/12
Filesystem Architectures with L4Re and L4-Based Systems
Paul Boddie
2018/08/12
Re: L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/08/07
Re: L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/08/07
Re: L4Re Build Failure on i386 (Revision 80)
Adam Lackorzynski
2018/08/04
Re: L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/08/03
Re: L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/08/03
Re: L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/08/03
Re: L4Re Build Failure on i386 (Revision 80)
Adam Lackorzynski
2018/08/02
L4Re Build Failure on i386 (Revision 80)
Paul Boddie
2018/07/05
L4Re development version available on GitHub
Jakub Jermar
2018/07/03
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/06/26
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/06/16
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/06/14
Re: Release of Sculpt TC
Paul Boddie
2018/06/14
Re: Release of Sculpt TC
Alexander Boettcher
2018/06/14
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/06/13
Re: Release of Sculpt TC
Paul Boddie
2018/06/13
Release of Sculpt TC
Alexander Boettcher
2018/06/07
Re: Issues about webserver on L4Re
Adam Lackorzynski
2018/06/07
Re: Building programs with MODE=shared in L4Re
Adam Lackorzynski
2018/05/30
Re: Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Paul Boddie
2018/05/24
Re: Input driver configuration and use in L4Re
Paul Boddie
2018/05/24
Issues about webserver on L4Re
李 鼎基
2018/05/22
Re: Input driver configuration and use in L4Re
Paul Boddie
2018/05/19
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/05/19
Logging to fbterminal (was Re: Building programs with MODE=shared in L4Re)
Paul Boddie
2018/05/15
Re: Input driver configuration and use in L4Re
Paul Boddie
2018/05/14
Re: Building programs with MODE=shared in L4Re
Paul Boddie
2018/05/14
Re: Input driver configuration and use in L4Re
Adam Lackorzynski
2018/05/14
Re: Building programs with MODE=shared in L4Re
Adam Lackorzynski
2018/05/14
Re: Assertion failure error in kernel vgic interrupt processing
Adam Lackorzynski
2018/05/10
Building programs with MODE=shared in L4Re
Paul Boddie
2018/05/08
Re: Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Paul Boddie
2018/05/02
Re: Assertion failure error in kernel vgic interrupt processing
nico . hacker
2018/04/25
Re: Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Matthias Lange
2018/04/23
Re: Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Paul Boddie
2018/04/23
Re: Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Matthias Lange
2018/04/22
Input driver configuration and use in L4Re
Paul Boddie
2018/04/17
Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
Paul Boddie
2018/04/10
Re: Assertion failure error in kernel vgic interrupt processing
Adam Lackorzynski
2018/04/09
Re: Assertion failure error in kernel vgic interrupt processing
nico
2018/04/08
Re: Assertion failure error in kernel vgic interrupt processing
Adam Lackorzynski
2018/03/29
Re: Assertion failure error in kernel vgic interrupt processing
nico
2018/03/29
Re: Assertion failure error in kernel vgic interrupt processing
Adam Lackorzynski
Earlier messages
Later messages