l4-hackers

Messages by Date

2014/07/24 Re: Question about IPI Yuxin Ren
2014/07/24 Re: Question about irq Adam Lackorzynski
2014/07/24 Re: Why need a lock in memory/capability map Adam Lackorzynski
2014/07/24 Re: Question about IPI Adam Lackorzynski
2014/07/24 Start a process with a specified pager Noah Zentzis
2014/07/24 Re: Segmentation fault while running arm image on top of qemu cem akpolat
2014/07/23 Question about irq Maria Soler
2014/07/23 Re: l4android compilation issue Matthias Lange
2014/07/23 Segmentation fault while running arm image on top of qemu cem akpolat
2014/07/22 Re: l4android compilation issue Matthias Lange
2014/07/21 Re: l4android compilation issue cem akpolat
2014/07/21 Re: l4android compilation issue Matthias Lange
2014/07/21 Re: booting lx_ginger.iso Matthias Lange
2014/07/21 booting lx_ginger.iso cem akpolat
2014/07/21 RE: Timer Interrupt Handler Xavier LEBARS
2014/07/21 l4android compilation issue cem akpolat
2014/07/20 Re: Why need a lock in memory/capability map Yuxin Ren
2014/07/20 Re: Question about IPI Yuxin Ren
2014/07/20 Re: Why need a lock in memory/capability map Adam Lackorzynski
2014/07/20 Re: Question about IPI Adam Lackorzynski
2014/07/20 Re: Timer Interrupt Handler Adam Lackorzynski
2014/07/18 Why need a lock in memory/capability map Yuxin Ren
2014/07/18 Re: Fiasco bug Matthias Lange
2014/07/18 RE: Timer Interrupt Handler Xavier LEBARS
2014/07/18 Fiasco bug Zahi Rima
2014/07/17 Re: l4lx_memory_map_virtual_page messages ending in internal error Uwe Geuder
2014/07/17 Re: Timer Interrupt Handler Adam Lackorzynski
2014/07/17 Re: l4lx_memory_map_virtual_page messages ending in internal error Adam Lackorzynski
2014/07/17 Question about IPI Yuxin Ren
2014/07/16 Timer Interrupt Handler Xavier LEBARS
2014/07/15 Re: l4lx_memory_map_virtual_page messages ending in internal error Uwe Geuder
2014/07/15 Re: Question about function l4_sched_set_cpu_set Adam Lackorzynski
2014/07/15 Re: Question about _wq in the class Sender Adam Lackorzynski
2014/07/15 Question about function l4_sched_set_cpu_set Yuxin Ren
2014/07/14 Re: Question about _wq in the class Sender Yuxin Ren
2014/07/14 Re: l4lx_memory_map_virtual_page messages ending in internal error Adam Lackorzynski
2014/07/14 Re: How to enable scheduling time in one-shot model Adam Lackorzynski
2014/07/14 Re: Question about _wq in the class Sender Adam Lackorzynski
2014/07/14 Re: How to enable scheduling time in one-shot model Martin Schröder
2014/07/14 How to enable scheduling time in one-shot model Yuxin Ren
2014/07/14 Re: User space filesystems for L4Linux Martin Schröder
2014/07/11 l4lx_memory_map_virtual_page messages ending in internal error Uwe Geuder
2014/07/11 Re: User space filesystems for L4Linux Uwe Geuder
2014/07/10 User space filesystems for L4Linux Uwe Geuder
2014/07/10 Question about _wq in the class Sender Yuxin Ren
2014/07/09 Re: Pid 1 crashing under L4Linux Uwe Geuder
2014/07/08 Re: Who uses memory originally from IO device Adam Lackorzynski
2014/07/08 Re: Pid 1 crashing under L4Linux Adam Lackorzynski
2014/07/08 Pid 1 crashing under L4Linux Uwe Geuder
2014/07/08 Re: Who uses memory originally from IO device Martin Schröder
2014/07/07 Re: Fwd: Problems using qemu devices from l4re Adam Lackorzynski
2014/07/07 Re: Who uses memory originally from IO device Adam Lackorzynski
2014/07/07 Re: Question abut DRQ handler Adam Lackorzynski
2014/07/07 Re: Fwd: Problems using qemu devices from l4re Maria Soler
2014/07/07 Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
2014/07/07 Re: Question abut DRQ handler Yuxin Ren
2014/07/04 Re: Who uses memory originally from IO device Martin Schröder
2014/07/04 Re: Delay::measure function Martin Schröder
2014/07/04 RE: Delay::measure function Xavier LEBARS
2014/07/04 Re: Fwd: Problems using qemu devices from l4re Matthias Lange
2014/07/04 Re: Fwd: Problems using qemu devices from l4re Maria Soler
2014/07/03 MOE uses memory originally from IO device Martin Schröder
2014/07/03 Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
2014/07/03 Re: Fwd: Problems using qemu devices from l4re Matthias Lange
2014/07/03 Re: Fwd: Problems using qemu devices from l4re Martin Schröder
2014/07/03 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
2014/07/02 Fwd: Problems using qemu devices from l4re Maria Soler
2014/07/02 Re: Thanks Martin !! I got Ethernet on L4 Linux !! Taeung
2014/07/01 Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
2014/07/01 Re: Question about handshake_receiver in IPC Adam Lackorzynski
2014/07/01 Re: real time application example in l4re Adam Lackorzynski
2014/07/01 Re: Question abut DRQ handler Adam Lackorzynski
2014/07/01 Re: Delay::measure function Martin Schröder
2014/07/01 Delay::measure function Xavier LEBARS
2014/06/30 Question about handshake_receiver in IPC Yuxin Ren
2014/06/30 Re: Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
2014/06/29 real time application example in l4re cem akpolat
2014/06/27 Re: Question abut DRQ handler Yuxin Ren
2014/06/26 Re: Question abut DRQ handler Adam Lackorzynski
2014/06/25 Re: IO configuration language Martin Schröder
2014/06/24 Re: A conceptual question about IPC Adam Lackorzynski
2014/06/24 Re: IO configuration language Adam Lackorzynski
2014/06/24 Re: IO configuration language Adam Lackorzynski
2014/06/24 Question abut DRQ handler Yuxin Ren
2014/06/24 Re: IO configuration language Martin Schröder
2014/06/24 A conceptual question about IPC Jorge Ventura
2014/06/24 Re: IO configuration language Martin Schröder
2014/06/23 Re: Setting task priority in loader configuration script Peter Howard
2014/06/23 Re: Setting task priority in loader configuration script Peter Howard
2014/06/23 Re: Setting task priority in loader configuration script Adam Lackorzynski
2014/06/23 Re: IO configuration language Martin Schröder
2014/06/22 Setting task priority in loader configuration script Peter Howard
2014/06/22 Re: Graphical desktop, l4con, mag Adam Lackorzynski
2014/06/22 Re: Fwd: l4shmnet and its structure Adam Lackorzynski
2014/06/22 Re: RCU period Adam Lackorzynski
2014/06/22 Re: How does Fiasco implement printf Adam Lackorzynski
2014/06/22 Re: IO configuration language Adam Lackorzynski
2014/06/21 Re: How does Fiasco implement printf Wei Jin
2014/06/20 Re: Question about seL4 on July 29th Gernot Heiser
2014/06/20 Re: Question about seL4 on July 29th Daniel Potts
2014/06/20 Question about seL4 on July 29th Jorge Ventura
2014/06/20 How does Fiasco implement printf Yuxin Ren
2014/06/20 Re: Graphical desktop, l4con, mag Matthias Lange
2014/06/20 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/20 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Martin Schröder
2014/06/19 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
2014/06/19 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Johan Dams
2014/06/19 Re: Fwd: l4shmnet and its structure cem akpolat
2014/06/19 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
2014/06/19 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
2014/06/19 Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15) Jorge Ventura
2014/06/19 IO configuration language Martin Schröder
2014/06/19 Doubts about File Systems on FIASCO on ARM (Cortex-A15) Maria Soler
2014/06/18 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/18 Re: RCU period Yuxin Ren
2014/06/18 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/18 Re: Graphical desktop, l4con, mag Matthias Lange
2014/06/17 Re: Istream beginner help Adam Lackorzynski
2014/06/17 Re: RCU period Adam Lackorzynski
2014/06/17 Re: Fwd: l4shmnet and its structure Adam Lackorzynski
2014/06/17 RCU period Yuxin Ren
2014/06/16 Fwd: l4shmnet and its structure cem akpolat
2014/06/16 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/14 Istream beginner help ba_f
2014/06/13 Re: Multiple IPC_Gate channels per task Adam Lackorzynski
2014/06/13 Re: Adding a new scheduling algorithm to Fiasco.OC Adam Lackorzynski
2014/06/13 Re: l4shmnet and its structure Adam Lackorzynski
2014/06/12 Multiple IPC_Gate channels per task professor xavier
2014/06/12 Adding a new scheduling algorithm to Fiasco.OC Valentin Hauner
2014/06/10 l4shmnet and its structure cem akpolat
2014/06/10 Re: Graphical desktop, l4con, mag Adam Lackorzynski
2014/06/10 Re: Trouble building l4linux Adam Lackorzynski
2014/06/10 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/10 Re: Graphical desktop, l4con, mag teclis High Elf
2014/06/10 Re: Graphical desktop, l4con, mag Marcus Hähnel
2014/06/10 Graphical desktop, l4con, mag teclis High Elf
2014/06/09 Re: EFI boot fails Matthias Lange
2014/06/08 Dresden Microkernel Hackers Meet-up: Thursday 20:00 @ Stilbruch Julian Stecklina
2014/06/08 Trouble building l4linux Sören Jonsson
2014/06/07 EFI boot fails Ayad Mostafa
2014/06/06 Re: Adding hardware access to L4Linux, and killing serial console Adam Lackorzynski
2014/06/06 Re: Clans and chiefs Adam Lackorzynski
2014/06/06 Re: error: ext2_lookup: deleted inode referenced Adam Lackorzynski
2014/06/06 Re: Question about cross core IPC Adam Lackorzynski
2014/06/06 Re: how to transfer capabilities from server to client Markus Partheymueller
2014/06/06 Re: how to transfer capabilities from server to client Yuxin Ren
2014/06/06 Re: how to transfer capabilities from server to client Markus Partheymueller
2014/06/06 Clans and chiefs teclis High Elf
2014/06/06 Re: how to transfer capabilities from server to client Yuxin Ren
2014/06/06 A convenient makefile Sören Jonsson
2014/06/06 error: ext2_lookup: deleted inode referenced cem akpolat
2014/06/05 Re: Adding hardware access to L4Linux, and killing serial console Peter Howard
2014/06/05 Adding hardware access to L4Linux, and killing serial console Peter Howard
2014/06/05 Re: how to transfer capabilities from server to client Yuxin Ren
2014/06/05 Re: how to transfer capabilities from server to client Björn Döbel
2014/06/05 how to transfer capabilities from server to client Yuxin Ren
2014/06/05 Re: L4-based microkernel on Intel SCC Ramya Masti
2014/06/05 Re: L4-based microkernel on Intel SCC Markus Partheymueller
2014/06/05 Re: L4-based microkernel on Intel SCC Ramya Masti
2014/06/05 Dresden Microkernel Hackers Meet-up Julian Stecklina
2014/06/05 Re: L4-based microkernel on Intel SCC Julian Stecklina
2014/06/04 Re: seL4 will go open source on 29 July Gernot Heiser
2014/06/04 Re: seL4 will go open source on 29 July Sartakov A. Vasily
2014/06/04 seL4 will go open source on 29 July Gernot Heiser
2014/06/04 Re: Question about cross core IPC Yuxin Ren
2014/06/04 Re: l4re compilation Ramya Masti
2014/06/04 L4-based microkernel on Intel SCC Masti Ramya Jayaram
2014/06/03 Re: l4re compilation Adam Lackorzynski
2014/06/03 Re: Question about cross core IPC Adam Lackorzynski
2014/06/03 Re: Documentation of Sched_context Adam Lackorzynski
2014/06/03 l4re compilation Ramya Masti
2014/06/02 Re: I share a document to access HW on L4 Linux. Peter Howard
2014/06/01 Re: Some confusing code of the kernel Yuxin Ren
2014/06/01 Question about cross core IPC Yuxin Ren
2014/05/30 Re: page fault on virtual bus Martin Schröder
2014/05/30 Documentation of Sched_context Valentin Hauner
2014/05/29 Re: Some confusing code of the kernel Marcus Hähnel
2014/05/29 Re: Some confusing code of the kernel Yuxin Ren
2014/05/28 Re: page fault on virtual bus Martin Schröder
2014/05/28 Re: Some confusing code of the kernel Janis Danisevskis
2014/05/28 Re: kinvoke fonction Matthias Lange
2014/05/28 Re: Some confusing code of the kernel Marcus Hähnel
2014/05/27 Re: Some confusing code of the kernel Yuxin Ren
2014/05/27 Re: Some confusing code of the kernel Adam Lackorzynski
2014/05/27 Re: page fault on virtual bus Adam Lackorzynski
2014/05/27 Re: [Question] How do I do to secure LCD on L4 Linux ? Adam Lackorzynski
2014/05/27 Some confusing code of the kernel Yuxin Ren
2014/05/26 Re: Doing simple I/O in clntsrv example Marcus Hähnel
2014/05/26 Re: Where is kernel entry code Marcus Hähnel
2014/05/26 page fault on virtual bus ba_f
2014/05/26 Re: Where is kernel entry code Yuxin Ren
2014/05/26 Re: Where is kernel entry code Matthias Lange
2014/05/26 Where is kernel entry code Yuxin Ren
2014/05/26 Re: Missing library question Matthias Lange
2014/05/25 Missing library question Sören Jonsson
2014/05/23 Re: About DMA mem and IO Server Martin Schröder
2014/05/22 Re: Doing simple I/O in clntsrv example Marcus Hähnel
2014/05/22 Re: Doing simple I/O in clntsrv example Valentin Hauner
2014/05/22 [Question] How do I do to secure LCD on L4 Linux ? Yeongchan
2014/05/21 Re: interfaces of scheduler Fiasco Matthias Lange