2017 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Jan 8 15:54:31 CET 2017
Ending: Thu Dec 28 23:27:06 CET 2017
Messages: 222

• L4Linux network and SD Access   Daniel Wang (Xiaolong)
• Obtaining and accessing device abstractions in L4Re   Paul Boddie
• Obtaining and accessing device abstractions in L4Re   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Booting L4Re on the CI20: Panic in sigma0   Paul Boddie
• Obtaining and accessing device abstractions in L4Re   Paul Boddie
• uImage Load Address Issue   Paul Boddie
• I/O memory access and hardware page mappings   Paul Boddie
• I/O memory access and hardware page mappings   Paul Boddie
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Paul Boddie
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Paul Boddie
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Paul Boddie
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Paul Boddie
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Paul Boddie
• MIPS Creator CI20 patches (again)   Paul Boddie
• MIPS Creator CI20 patches (again)   Paul Boddie
• MIPS Creator CI20 patches (again)   Paul Boddie
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Questions about Fiasco.OC scheduler and L4Linux   Marc CHALAND
• Trying to build L4 on NixOS   Mateusz Czaplinski
• Trying to build L4 on NixOS   Mateusz Czaplinski
• Trying to build L4 on NixOS   Mateusz Czaplinski
• Trying to build L4 on NixOS   Mateusz Czaplinski
• Trying to build L4 on NixOS   Mateusz Czaplinski
• Microkernel + Alumni Meetup   Bjoern Doebel
• Microkernel + Alumni Meetup   Bjoern Doebel
• Microkernel + Alumni Meetup   Bjoern Doebel
• Share exist memory over IPC with L4Re   Alexander Fratzer
• Open a shell for a an individual task   Hennebold, Christoph
• Open a shell for a an individual task   Hennebold, Christoph
• Booting L4Re on the CI20: Panic in sigma0   Sarah Hoffmann
• Booting L4Re on the CI20: Panic in sigma0   Sarah Hoffmann
• Extending l4sys by reading/writing register values of a preempted thread   Denis Huber
• Extending l4sys by reading/writing register values of a preempted thread   Denis Huber
• Add network device to L4Linux   Marcus Hähnel
• xorriso : FAILURE : Not a known command   Jakub Jermar
• FOSDEM 2018 - Microkernels developer room - CfP   Jakub Jermar
• xorriso : FAILURE : Not a known command   Jakub Jermář
• Fiasco.OC: null-pointer dereference?   Stefan Kalkowski
• Fiasco.OC: null-pointer dereference?   Stefan Kalkowski
• read/write to virtual address   Daniel Krefft
• read/write to virtual address   Daniel Krefft
• read/write to virtual address   Daniel Krefft
• read/write to virtual address   Daniel Krefft
• About l4linux debug method   Adam Lackorzynski
• About l4linux debug method   Adam Lackorzynski
• read/write to virtual address   Adam Lackorzynski
• read/write to virtual address   Adam Lackorzynski
• read/write to virtual address   Adam Lackorzynski
• Run L4Re/Fiasco hello example under QEMU (ARM)   Adam Lackorzynski
• Extending l4sys by reading/writing register values of a preempted thread   Adam Lackorzynski
• Define Addr. Space of Task   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Adam Lackorzynski
• Trying to build L4 on NixOS   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Adam Lackorzynski
• L4linux __raw_writesl/readl undefined   Adam Lackorzynski
• Trying to build L4 on NixOS   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Adam Lackorzynski
• Trying to build L4 on NixOS   Adam Lackorzynski
• Share exist memory over IPC with L4Re   Adam Lackorzynski
• clang-5.0 is not supported. Please use one of the following versions   Adam Lackorzynski
• L4Linux CONFIG_MTRR must not be enabled   Adam Lackorzynski
• clang-5.0 is not supported. Please use one of the following versions   Adam Lackorzynski
• About l4linux debug method   Adam Lackorzynski
• L4re and L4Linux Compatible issue   Adam Lackorzynski
• IRQ objects   Adam Lackorzynski
• Problem with L4re and L4Linux on Qemu/VMware   Adam Lackorzynski
• Problem with L4re and L4Linux on Qemu/VMware   Adam Lackorzynski
• L4Linux network and SD Access   Adam Lackorzynski
• Open a shell for a an individual task   Adam Lackorzynski
• Define Addr. Space of Task   Adam Lackorzynski
• L4Linux network and SD Access   Adam Lackorzynski
• L4Linux network and SD Access   Adam Lackorzynski
• Booting L4Re on the CI20: Panic in sigma0   Adam Lackorzynski
• I/O memory access and hardware page mappings   Adam Lackorzynski
• Trying to run L4Linux on Cubietruck   Adam Lackorzynski
• L4Linux network and SD Access   Adam Lackorzynski
• Problem with L4Linux accessing ethernet clocks   Adam Lackorzynski
• Add network device to L4Linux   Adam Lackorzynski
• Problem with L4Linux accessing ethernet clocks   Adam Lackorzynski
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Adam Lackorzynski
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Adam Lackorzynski
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Adam Lackorzynski
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Adam Lackorzynski
• Patches (was Re: Problem with L4Linux accessing ethernet clocks)   Adam Lackorzynski
• Booting L4Re with qemu-system-arm: Panic in sigma0   Adam Lackorzynski
• Does the latest version of L4Re support 64bit VMM?   Adam Lackorzynski
• Porting Fiasco + L4Re to Raspberry Pi 2   Adam Lackorzynski
• Porting Fiasco + L4Re to Raspberry Pi 2   Adam Lackorzynski
• Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...   Adam Lackorzynski
• exception while running L4linux on raspberry pi 2   Adam Lackorzynski
• L4/Fiasco kernel debugger (jdb) and step over command   Adam Lackorzynski
• L4/Fiasco kernel debugger (jdb) and step over command   Adam Lackorzynski
• L4/Fiasco kernel debugger (jdb) and step over command   Adam Lackorzynski
• Questions about Fiasco.OC scheduler and L4Linux   Matthias Lange
• Fiasco.OC: null-pointer dereference?   Matthias Lange
• Fiasco.OC: null-pointer dereference?   Matthias Lange
• L4Linux network and SD Access   Matthias Lange
• Obtaining and accessing device abstractions in L4Re   Matthias Lange
• L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes   Matthias Lange
• Unit testing guidelines or resource   Matthias Lange
• L4Linux network and SD Access   Matthias Lange
• L4Linux network and SD Access   Matthias Lange
• L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes   Matthias Lange
• L4Linux network and SD Access   Matthias Lange
• uImage Load Address Issue   Matthias Lange
• Add network device to L4Linux   Matthias Lange
• Booting L4Re with qemu-system-arm: Panic in sigma0   Matthias Lange
• L4/Fiasco kernel debugger (jdb) and step over command   Matthias Lange
• Extending l4sys by reading/writing register values of a preempted thread   Christian Ludwig
• Questions about Fiasco.OC scheduler and L4Linux   Christian Ludwig
• L4Linux network and SD Access   Christian Ludwig
• Add network device to L4Linux   Christian Ludwig
• L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes   Joyce Peng(彭美僑)
• L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes   Joyce Peng(彭美僑)
• Run L4Re/Fiasco hello example under QEMU (ARM)   Piotr Piwko
• read/write to virtual address   Maksym Planeta
• L4linux __raw_writesl/readl undefined   Manolis Ragkousis
• L4linux __raw_writesl/readl undefined   Manolis Ragkousis
• Problem with L4Linux accessing ethernet clocks   Manolis Ragkousis
• Add network device to L4Linux   Manolis Ragkousis
• Problem with L4Linux accessing ethernet clocks   Manolis Ragkousis
• Fiasco.OC port on Jailhouse   Muneeswaran Rajendran
• Microkernel + Alumni Meetup   Vasily A. Sartakov
• Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...   Sathish Kumar Balasubramaniam -ERS, HCL Tech
• xorriso : FAILURE : Not a known command   Thomas Schmitt
• xorriso : FAILURE : Not a known command   Thomas Schmitt
• xorriso : FAILURE : Not a known command   Thomas Schmitt
• xorriso : FAILURE : Not a known command   Thomas Schmitt
• xorriso : FAILURE : Not a known command   Thomas Schmitt
• L4/Fiasco kernel debugger (jdb) and step over command   Valery V. Sedletski
• L4/Fiasco kernel debugger (jdb) and step over command   Valery V. Sedletski
• L4/Fiasco kernel debugger (jdb) and step over command   Valery V. Sedletski
• L4/Fiasco kernel debugger (jdb) and step over command   Valery V. Sedletski
• Trying to run L4Linux on Cubietruck   Yiyang Su
• Add network device to L4Linux   Yiyang Su
• Add network device to L4Linux   Yiyang Su
• Trying to run L4Linux on Cubietruck   Yiyang Su
• Add network device to L4Linux   Yiyang Su
• Add network device to L4Linux   Yiyang Su
• Add network device to L4Linux   Yiyang Su
• clang-5.0 is not supported. Please use one of the following versions   Rui Ueyama
• L4re with L4Linux   Daniel (Xiaolong) Wang
• L4re and L4Linux Compatible issue   Daniel (Xiaolong) Wang
• L4re and L4Linux Compatible issue   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• Problem with L4re and L4Linux on Qemu/VMware   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• uImage Load Address Issue   Daniel (Xiaolong) Wang
• uImage Load Address Issue   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• L4Linux network and SD Access   Daniel (Xiaolong) Wang
• Porting Fiasco + L4Re to Raspberry Pi 2   Alexander Weidinger
• Porting Fiasco + L4Re to Raspberry Pi 2   Alexander Weidinger
• IRQ objects   David Werner
• Graphical desktop, l4con, mag   Jean Wolter
• Graphical desktop, l4con, mag   Jean Wolter
• Problem with L4re and L4Linux on Qemu/VMware   Jean Wolter
• clang-5.0 is not supported. Please use one of the following versions   Leslie Zhai
• clang-5.0 is not supported. Please use one of the following versions   Leslie Zhai
• xorriso : FAILURE : Not a known command   Leslie Zhai
• xorriso : FAILURE : Not a known command   Leslie Zhai
• xorriso : FAILURE : Not a known command   Leslie Zhai
• libfs/ FUSE on L4Re   Leslie Zhai
• libfs/ FUSE on L4Re   Leslie Zhai
• xorriso : FAILURE : Not a known command   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• L4Linux CONFIG_MTRR must not be enabled   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• clang-5.0 is not supported. Please use one of the following versions   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• clang-5.0 is not supported. Please use one of the following versions   Leslie Zhai
• Graphical desktop, l4con, mag   Leslie Zhai
• About l4linux debug method   Leslie Zhai
• Fiasco.OC: null-pointer dereference?   Leslie Zhai
• About l4linux debug method   Leslie Zhai
• Fiasco.OC: null-pointer dereference?   Leslie Zhai
• l4linux: l4x_setup_memory:Cant get main memory   Leslie Zhai
• Booting L4Re with qemu-system-arm: Panic in sigma0   Leslie Zhai
• Booting L4Re with qemu-system-arm: Panic in sigma0   Leslie Zhai
• Booting L4Re with qemu-system-arm: Panic in sigma0   Leslie Zhai
• clang-5.0 is not supported. Please use one of the following versions   Xiang Zhai
• Define Addr. Space of Task   ba_f
• Define Addr. Space of Task   ba_f
• Define Addr. Space of Task   ba_f
• exception while running L4linux on raspberry pi 2   vmc doe
• About l4linux debug method   li94575
• About l4linux debug method   li94575
• Does the latest version of L4Re support 64bit VMM?   nico
• Unit testing guidelines or resource   jrodriguez at uns.edu.ar
• L4Linux CONFIG_MTRR must not be enabled   翟翔

Last message date: Thu Dec 28 23:27:06 CET 2017
Archived on: Tue Apr 13 12:03:58 CEST 2021

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...