l4-hackers  

Messages by Thread

• • Re: l4lx_memory_map_virtual_page messages ending in internal error Uwe Geuder
• User space filesystems for L4Linux Uwe Geuder
  • Re: User space filesystems for L4Linux Uwe Geuder
  • Re: User space filesystems for L4Linux Martin Schröder
• Question about _wq in the class Sender Yuxin Ren
  • Re: Question about _wq in the class Sender Adam Lackorzynski
  • Re: Question about _wq in the class Sender Yuxin Ren
  • Re: Question about _wq in the class Sender Adam Lackorzynski
• Pid 1 crashing under L4Linux Uwe Geuder
  • Re: Pid 1 crashing under L4Linux Adam Lackorzynski
  • Re: Pid 1 crashing under L4Linux Uwe Geuder
• MOE uses memory originally from IO device Martin Schröder
  • Re: Who uses memory originally from IO device Martin Schröder
  • Re: Who uses memory originally from IO device Adam Lackorzynski
  • Re: Who uses memory originally from IO device Martin Schröder
  • Re: Who uses memory originally from IO device Adam Lackorzynski
• Fwd: Problems using qemu devices from l4re Maria Soler
  • Re: Fwd: Problems using qemu devices from l4re Martin Schröder
  • Re: Fwd: Problems using qemu devices from l4re Matthias Lange
  • Re: Fwd: Problems using qemu devices from l4re Maria Soler
  • Re: Fwd: Problems using qemu devices from l4re Matthias Lange
  • Re: Fwd: Problems using qemu devices from l4re Maria Soler
  • Re: Fwd: Problems using qemu devices from l4re Adam Lackorzynski
• Re: Thanks Martin !! I got Ethernet on L4 Linux !! Taeung
• Delay::measure function Xavier LEBARS
  • Re: Delay::measure function Martin Schröder
  • RE: Delay::measure function Xavier LEBARS
  • Re: Delay::measure function Martin Schröder
• Question about handshake_receiver in IPC Yuxin Ren
  • Re: Question about handshake_receiver in IPC Adam Lackorzynski
• real time application example in l4re cem akpolat
  • Re: real time application example in l4re Adam Lackorzynski
• Question abut DRQ handler Yuxin Ren
  • Re: Question abut DRQ handler Adam Lackorzynski
  • Re: Question abut DRQ handler Yuxin Ren
  • Re: Question abut DRQ handler Adam Lackorzynski
  • Re: Question abut DRQ handler Yuxin Ren
  • Re: Question abut DRQ handler Adam Lackorzynski
• A conceptual question about IPC Jorge Ventura
  • Re: A conceptual question about IPC Adam Lackorzynski
• Setting task priority in loader configuration script Peter Howard
  • Re: Setting task priority in loader configuration script Adam Lackorzynski
  • Re: Setting task priority in loader configuration script Peter Howard
  • Re: Setting task priority in loader configuration script Peter Howard
• Question about seL4 on July 29th Jorge Ventura
  • Re: Question about seL4 on July 29th Daniel Potts
  • Re: Question about seL4 on July 29th Gernot Heiser
• How does Fiasco implement printf Yuxin Ren
  • Re: How does Fiasco implement printf Wei Jin
  • Re: How does Fiasco implement printf Adam Lackorzynski
• IO configuration language Martin Schröder
  • Re: IO configuration language Adam Lackorzynski
  • Re: IO configuration language Martin Schröder
  • Re: IO configuration language Martin Schröder
  • Re: IO configuration language Martin Schröder
  • Re: IO configuration language Adam Lackorzynski
  • Re: IO configuration language Adam Lackorzynski
  • Re: IO configuration language Martin Schröder
• Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Johan Dams
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Martin Schröder
  • Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
• RCU period Yuxin Ren
  • Re: RCU period Adam Lackorzynski
  • Re: RCU period Yuxin Ren
  • Re: RCU period Adam Lackorzynski
• Istream beginner help ba_f
  • Re: Istream beginner help Adam Lackorzynski
• Multiple IPC_Gate channels per task professor xavier
  • Re: Multiple IPC_Gate channels per task Adam Lackorzynski
• Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
  • Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
  • Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
• l4shmnet and its structure cem akpolat
  • Re: l4shmnet and its structure Adam Lackorzynski
  • Fwd: l4shmnet and its structure cem akpolat
  • Re: Fwd: l4shmnet and its structure Adam Lackorzynski
  • Re: Fwd: l4shmnet and its structure cem akpolat
  • Re: Fwd: l4shmnet and its structure Adam Lackorzynski
• Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag Marcus Hähnel
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag Adam Lackorzynski
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag Matthias Lange
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag teclis High Elf
  • Re: Graphical desktop, l4con, mag Matthias Lange
  • Re: Graphical desktop, l4con, mag Adam Lackorzynski
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Jean Wolter
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag Jean Wolter
  • Re: Graphical desktop, l4con, mag Leslie Zhai
  • Re: Graphical desktop, l4con, mag 000SKY
• Trouble building l4linux Sören Jonsson
  • Re: Trouble building l4linux Adam Lackorzynski
• EFI boot fails Ayad Mostafa
  • Re: EFI boot fails Matthias Lange
• Clans and chiefs teclis High Elf
  • Re: Clans and chiefs Adam Lackorzynski
• A convenient makefile Sören Jonsson
• error: ext2_lookup: deleted inode referenced cem akpolat
  • Re: error: ext2_lookup: deleted inode referenced Adam Lackorzynski
• Adding hardware access to L4Linux, and killing serial console Peter Howard
  • Re: Adding hardware access to L4Linux, and killing serial console Peter Howard
  • Re: Adding hardware access to L4Linux, and killing serial console Adam Lackorzynski
• how to transfer capabilities from server to client Yuxin Ren
  • Re: how to transfer capabilities from server to client Björn Döbel
  • Re: how to transfer capabilities from server to client Yuxin Ren
  • Re: how to transfer capabilities from server to client Yuxin Ren
  • Re: how to transfer capabilities from server to client Markus Partheymueller
  • Re: how to transfer capabilities from server to client Yuxin Ren
  • Re: how to transfer capabilities from server to client Markus Partheymueller
• Dresden Microkernel Hackers Meet-up Julian Stecklina
  • Dresden Microkernel Hackers Meet-up: Thursday 20:00 @ Stilbruch Julian Stecklina
• seL4 will go open source on 29 July Gernot Heiser
  • Re: seL4 will go open source on 29 July Sartakov A. Vasily
  • Re: seL4 will go open source on 29 July Gernot Heiser
• L4-based microkernel on Intel SCC Masti Ramya Jayaram
  • Re: L4-based microkernel on Intel SCC Julian Stecklina
  • Re: L4-based microkernel on Intel SCC Ramya Masti
  • Re: L4-based microkernel on Intel SCC Markus Partheymueller
  • Re: L4-based microkernel on Intel SCC Ramya Masti
• l4re compilation Ramya Masti
  • Re: l4re compilation Adam Lackorzynski
  • Re: l4re compilation Ramya Masti
• Question about cross core IPC Yuxin Ren
  • Re: Question about cross core IPC Adam Lackorzynski
  • Re: Question about cross core IPC Yuxin Ren
  • Re: Question about cross core IPC Adam Lackorzynski
• Documentation of Sched_context Valentin Hauner
  • Re: Documentation of Sched_context Adam Lackorzynski
• Re: kinvoke fonction Matthias Lange
• Some confusing code of the kernel Yuxin Ren
  • Re: Some confusing code of the kernel Adam Lackorzynski
  • Re: Some confusing code of the kernel Yuxin Ren
  • Re: Some confusing code of the kernel Marcus Hähnel
  • Re: Some confusing code of the kernel Yuxin Ren
  • Re: Some confusing code of the kernel Marcus Hähnel
  • Re: Some confusing code of the kernel Yuxin Ren
  • Re: Some confusing code of the kernel Janis Danisevskis
• page fault on virtual bus ba_f
  • Re: page fault on virtual bus Adam Lackorzynski
  • Re: page fault on virtual bus Martin Schröder
  • Re: page fault on virtual bus Martin Schröder
• Where is kernel entry code Yuxin Ren
  • Re: Where is kernel entry code Matthias Lange
  • Re: Where is kernel entry code Yuxin Ren
  • Re: Where is kernel entry code Marcus Hähnel
• Missing library question Sören Jonsson
  • Re: Missing library question Matthias Lange
• [Question] How do I do to secure LCD on L4 Linux ? Yeongchan
  • Re: [Question] How do I do to secure LCD on L4 Linux ? Adam Lackorzynski
• I share a document to access HW on L4 Linux. Taeung
  • Re: I share a document to access HW on L4 Linux. Peter Howard
  • Re: I share a document to access HW on L4 Linux. Yunchuan Geng
  • Re: I share a document to access HW on L4 Linux. Yunchuan Geng
  • Re: I share a document to access HW on L4 Linux. Yunchuan Geng
  • Re: I share a document to access HW on L4 Linux. Yunchuan Geng
• Can you check this patch file(imx6q-fec.patch) ? Taeung
• Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong Peter Howard
  • Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong Adam Lackorzynski
  • Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong Peter Howard
  • Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong Peter Howard
• Doing simple I/O in clntsrv example Valentin Hauner
  • Re: Doing simple I/O in clntsrv example Marcus Hähnel
  • Re: Doing simple I/O in clntsrv example Björn Döbel
  • Doing simple I/O in clntsrv example Valentin Hauner
  • Re: Doing simple I/O in clntsrv example Marcus Hähnel
  • Doing simple I/O in clntsrv example Valentin Hauner
  • Re: Doing simple I/O in clntsrv example Marcus Hähnel
  • Doing simple I/O in clntsrv example Valentin Hauner

• Earlier messages
• Later messages