l4-hackers
Thread
Date
Earlier messages
Later messages
Messages by Date
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
2018/03/29
Assertion failure error in kernel vgic interrupt processing
nico
2018/03/26
Re: Entrypoint for user-space syscall instruction
Zihan Yang
2018/03/26
Entrypoint for user-space syscall instruction
Zihan Yang
2018/03/16
Re: Ben NanoNote patches (MIPS/Ingenic JZ4720) and memory mapping issues
Paul Boddie
2018/03/13
Re: I got an issue, when testing command like this :qemu–system–aarch64 -kernel uimage -smp 2...
Adam Lackorzynski
2018/03/13
Re: How to show call path in backtrace with jdb?
Adam Lackorzynski
2018/03/13
Re: I got an issue, when testing command like this :qemu–system–aarch64 -kernel uimage -smp 2...
Matthias Lange
2018/03/13
I got an issue, when testing command like this :qemu–system–aarch64 -kernel uimage -smp 2...
Jiang qihong
2018/03/12
How to show call path in backtrace with jdb?
Zihan Yang
2018/03/12
Re: Ben NanoNote patches (MIPS/Ingenic JZ4720) and memory mapping issues
Paul Boddie
2018/03/12
Ben NanoNote patches (MIPS/Ingenic JZ4720) and memory mapping issues
Paul Boddie
2018/03/08
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/08
Re: Is the L4Linux running as a Fiasco.OC server?
Adam Lackorzynski
2018/03/07
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/07
Re: Activating the sigma0 thread in the Fiasco kernel
Adam Lackorzynski
2018/03/07
Re: Is the L4Linux running as a Fiasco.OC server?
Adam Lackorzynski
2018/03/07
Re: Activating the sigma0 thread in the Fiasco kernel
Paul Boddie
2018/03/06
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/06
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/06
Re: Activating the sigma0 thread in the Fiasco kernel
Paul Boddie
2018/03/06
Re: Is the L4Linux running as a Fiasco.OC server?
Adam Lackorzynski
2018/03/06
Re: Activating the sigma0 thread in the Fiasco kernel
Adam Lackorzynski
2018/03/06
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/06
Re: Is the L4Linux running as a Fiasco.OC server?
Matthias Lange
2018/03/05
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/05
Re: Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/05
Re: Activating the sigma0 thread in the Fiasco kernel
Paul Boddie
2018/03/05
Re: Is the L4Linux running as a Fiasco.OC server?
Adam Lackorzynski
2018/03/05
Re: Activating the sigma0 thread in the Fiasco kernel
Adam Lackorzynski
2018/03/05
Is the L4Linux running as a Fiasco.OC server?
Zeyu Mi
2018/03/04
Activating the sigma0 thread in the Fiasco kernel
Paul Boddie
2018/02/22
Re: Fiasco.OC development version available on github
Matthias Lange
2018/02/21
Re: Fiasco.OC development version available on github
Christian Ludwig
2018/02/21
Re: Fiasco.OC development version available on github
BogDan
2018/02/21
Re: Fiasco.OC development version available on github
Vasily A. Sartakov
2018/02/21
Fiasco.OC development version available on github
Matthias Lange
2018/02/12
Re: OS Engineers Wanted!
teclis High Elf
2018/02/11
Re: L4Linux performance vs hardware virtualization
Adam Lackorzynski
2018/02/11
Re: Microkernel and alumni meetup
Matthias Lange
2018/02/09
Re: Microkernel and alumni meetup
Tobias Stumpf
2018/02/07
Re: L4Linux performance vs hardware virtualization
Vasily A. Sartakov
2018/02/07
L4Linux performance vs hardware virtualization
Bob Liu
2018/02/05
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/02/04
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/02/04
Re: MIPS Creator CI20 patches (again)
Adam Lackorzynski
2018/02/04
Re: Get instruction opcode + operands for page fault
Adam Lackorzynski
2018/02/02
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/02/02
Get instruction opcode + operands for page fault
Josef Stark
2018/01/30
Re: Build problems on i386 (Fiasco-OC.UX)
Paul Boddie
2018/01/30
Re: Build problems on i386 (L4Re)
Paul Boddie
2018/01/30
OS Engineers Wanted!
Gernot Heiser
2018/01/29
Re: Build problems on i386 (Fiasco-OC.UX)
Adam Lackorzynski
2018/01/29
Re: Build problems on i386 (L4Re)
Adam Lackorzynski
2018/01/29
Build problems on i386 (L4Re)
Paul Boddie
2018/01/29
Build problems on i386 (Fiasco-OC.UX)
Paul Boddie
2018/01/26
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Christian Ludwig
2018/01/26
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Stark, Josef
2018/01/25
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Adam Lackorzynski
2018/01/25
Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Stark, Josef
2018/01/21
Re: L4/Fiasco kernel debugger (jdb) and step over command
Adam Lackorzynski
2018/01/17
Re: L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2018/01/17
Re: L4/Fiasco kernel debugger (jdb) and step over command
Adam Lackorzynski
2018/01/15
Re: L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2018/01/15
Microkernel and alumni meetup
Matthias Lange
2018/01/11
Re: Question about vm memory initialization
nico
2018/01/10
Re: Question about vm memory initialization
Adam Lackorzynski
2018/01/10
Re: Question about vm memory initialization
nico
2018/01/10
Re: Workaround to build l4linux for ARM Target
Leslie Zhai
2018/01/10
Re: Workaround to build l4linux for ARM Target
Matthias Lange
2018/01/10
Re: Question about vm memory initialization
Matthias Lange
2018/01/09
Re: Workaround to build l4linux for ARM Target
Leslie Zhai
2018/01/09
Workaround to build l4linux for ARM Target
Leslie Zhai
2018/01/09
Re: Question about vm memory initialization
nico . hacker
2018/01/09
Re: MIPS Creator CI20 patches (again)
Adam Lackorzynski
2018/01/09
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/01/09
Re: Question about vm memory initialization
Adam Lackorzynski
2018/01/09
Question about vm memory initialization
nico
2018/01/08
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/01/08
Re: MIPS Creator CI20 patches (again)
Adam Lackorzynski
2018/01/08
L4Re and Meltdown / Spectre attacks
Matthias Lange
2018/01/07
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2018/01/07
Re: MIPS Creator CI20 patches (again)
Adam Lackorzynski
2018/01/07
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2017/12/28
Re: L4/Fiasco kernel debugger (jdb) and step over command
Adam Lackorzynski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Adam Lackorzynski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Adam Lackorzynski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2017/12/27
Re: L4/Fiasco kernel debugger (jdb) and step over command
Matthias Lange
2017/12/26
L4/Fiasco kernel debugger (jdb) and step over command
Valery V. Sedletski
2017/12/20
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2017/12/20
Re: MIPS Creator CI20 patches (again)
Paul Boddie
2017/12/19
Fiasco.OC port on Jailhouse
Muneeswaran Rajendran
2017/12/17
Re: exception while running L4linux on raspberry pi 2
Adam Lackorzynski
2017/12/17
Re: Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...
Adam Lackorzynski
2017/12/17
exception while running L4linux on raspberry pi 2
vmc doe
2017/12/17
Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...
Sathish Kumar Balasubramaniam -ERS, HCL Tech
2017/12/15
MIPS Creator CI20 patches (again)
Paul Boddie
2017/11/28
Re: Add network device to L4Linux
Christian Ludwig
2017/11/26
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Adam Lackorzynski
2017/11/25
Re: Add network device to L4Linux
Yiyang Su
2017/11/24
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Alexander Weidinger
2017/11/23
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Adam Lackorzynski
2017/11/21
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Alexander Weidinger
2017/11/20
Re: Does the latest version of L4Re support 64bit VMM?
Adam Lackorzynski
2017/11/20
Does the latest version of L4Re support 64bit VMM?
nico
2017/11/01
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Adam Lackorzynski
2017/11/01
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
2017/10/31
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Leslie Zhai
2017/10/31
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Leslie Zhai
2017/10/31
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Paul Boddie
2017/10/31
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
2017/10/31
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Matthias Lange
2017/10/31
Booting L4Re with qemu-system-arm: Panic in sigma0
Leslie Zhai
2017/10/30
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Paul Boddie
2017/10/27
Re: Add network device to L4Linux
Marcus Hähnel
2017/10/27
Re: Add network device to L4Linux
Yiyang Su
2017/10/24
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
2017/10/22
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Paul Boddie
2017/10/22
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
2017/10/16
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Paul Boddie
2017/10/15
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
2017/10/15
Re: Problem with L4Linux accessing ethernet clocks
Adam Lackorzynski
2017/10/14
Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Paul Boddie
2017/10/11
Re: Problem with L4Linux accessing ethernet clocks
Manolis Ragkousis
2017/10/09
FOSDEM 2018 - Microkernels developer room - CfP
Jakub Jermar
2017/10/04
Re: Add network device to L4Linux
Adam Lackorzynski
2017/10/04
Re: Problem with L4Linux accessing ethernet clocks
Adam Lackorzynski
2017/09/27
Re: Add network device to L4Linux
Yiyang Su
2017/09/23
Re: Trying to run L4Linux on Cubietruck
Yiyang Su
2017/09/23
Re: Add network device to L4Linux
Manolis Ragkousis
2017/09/22
Problem with L4Linux accessing ethernet clocks
Manolis Ragkousis
2017/09/21
Re: Add network device to L4Linux
Yiyang Su
2017/09/14
Re: Add network device to L4Linux
Matthias Lange
2017/09/13
Add network device to L4Linux
Yiyang Su
2017/08/18
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/08/16
Re: L4Linux network and SD Access
Adam Lackorzynski
2017/08/15
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/08/01
Re: Trying to run L4Linux on Cubietruck
Adam Lackorzynski
2017/08/01
Trying to run L4Linux on Cubietruck
Yiyang Su
2017/07/25
Re: I/O memory access and hardware page mappings
Paul Boddie
2017/07/25
Re: I/O memory access and hardware page mappings
Adam Lackorzynski
2017/07/24
I/O memory access and hardware page mappings
Paul Boddie
2017/07/23
Re: uImage Load Address Issue
Daniel (Xiaolong) Wang
2017/07/23
Re: uImage Load Address Issue
Matthias Lange
2017/07/22
Re: uImage Load Address Issue
Paul Boddie
2017/07/22
Re: Obtaining and accessing device abstractions in L4Re
Paul Boddie
2017/07/21
uImage Load Address Issue
Daniel (Xiaolong) Wang
2017/07/20
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/20
Re: Booting L4Re on the CI20: Panic in sigma0
Adam Lackorzynski
2017/07/20
Re: L4Linux network and SD Access
Adam Lackorzynski
2017/07/20
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/19
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/18
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/18
Re: Booting L4Re on the CI20: Panic in sigma0
Sarah Hoffmann
2017/07/17
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/15
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/14
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/14
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/14
Re: Booting L4Re on the CI20: Panic in sigma0
Sarah Hoffmann
2017/07/13
Re: Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/13
Booting L4Re on the CI20: Panic in sigma0
Paul Boddie
2017/07/09
Re: Open a shell for a an individual task
Hennebold, Christoph
2017/07/09
Re: L4Linux network and SD Access
Matthias Lange
2017/07/07
Re: L4Linux network and SD Access
Adam Lackorzynski
2017/07/07
Re: Define Addr. Space of Task
Adam Lackorzynski
2017/07/07
Re: Open a shell for a an individual task
Adam Lackorzynski
2017/07/07
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/07/07
Re: L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes
Matthias Lange
2017/07/07
Re: L4Linux network and SD Access
Matthias Lange
2017/07/07
Re: L4Linux network and SD Access
Matthias Lange
2017/07/07
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/07/07
Re: L4Linux network and SD Access
Christian Ludwig
2017/07/07
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/07/06
Re: L4Linux network and SD Access
Xiaolong
2017/07/06
Open a shell for a an individual task
Hennebold, Christoph
2017/07/06
Re: Define Addr. Space of Task
ba_f
2017/07/06
RE: L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes
彭美僑
2017/07/05
Re: Obtaining and accessing device abstractions in L4Re
Paul Boddie
2017/07/05
Re: L4Linux network and SD Access
Adam Lackorzynski
2017/07/05
Re: Unit testing guidelines or resource
Matthias Lange
2017/07/05
Re: L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes
Matthias Lange
2017/07/05
Re: Obtaining and accessing device abstractions in L4Re
Matthias Lange
2017/07/04
L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes
彭美僑
2017/07/04
Obtaining and accessing device abstractions in L4Re
Paul Boddie
2017/07/03
Re: L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/07/01
Unit testing guidelines or resource
jrodriguez
2017/06/29
Re: L4Linux network and SD Access
Matthias Lange
2017/06/29
L4Linux network and SD Access
Daniel (Xiaolong) Wang
2017/06/27
Re: Problem with L4re and L4Linux on Qemu/VMware
Daniel (Xiaolong) Wang
2017/06/27
Re: Problem with L4re and L4Linux on Qemu/VMware
Jean Wolter
2017/06/26
Re: Problem with L4re and L4Linux on Qemu/VMware
Daniel (Xiaolong) Wang
2017/06/26
Re: Problem with L4re and L4Linux on Qemu/VMware
Adam Lackorzynski
2017/06/26
Re: Problem with L4re and L4Linux on Qemu/VMware
Daniel (Xiaolong) Wang
2017/06/26
Re: Problem with L4re and L4Linux on Qemu/VMware
Daniel (Xiaolong) Wang
2017/06/23
Re: Problem with L4re and L4Linux on Qemu/VMware
Daniel (Xiaolong) Wang
Earlier messages
Later messages