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