l4-hackers

Messages by Date

2016/07/09 l4re programming language support Michael Schnupp
2016/07/06 Re: l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem Adam Lackorzynski
2016/07/06 Re: where can I download the previous version of L4linux? Adam Lackorzynski
2016/07/02 Re: where can I download the previous version of L4linux? li94575
2016/06/26 Re: building fiasco on alpine linux Michael Schnupp
2016/06/26 Re: building fiasco on alpine linux Adam Lackorzynski
2016/06/25 Re: building fiasco on alpine linux Michael Schnupp
2016/06/23 Re: building fiasco on alpine linux Adam Lackorzynski
2016/06/22 Re: building fiasco on alpine linux Michael Schnupp
2016/06/21 Re: Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/21 Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
2016/06/21 Re: building fiasco on alpine linux Adam Lackorzynski
2016/06/21 building fiasco on alpine linux Michael Schnupp
2016/06/20 Re: Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/20 Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
2016/06/15 Re: Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/15 Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
2016/06/13 Re: Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/13 Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
2016/06/13 Re: Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/12 Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
2016/06/12 Re: L4Linux Compilation trouble with missing packages in L4 Adam Lackorzynski
2016/06/11 Cross-compiling L4Re for MIPS32 Paul Boddie
2016/06/11 L4Linux Compilation trouble with missing packages in L4 Martin Gruber
2016/05/28 Re: l4-hackers Digest, Vol 157, Issue 10 Иван Филиппов
2016/05/27 L4Re Release Adam Lackorzynski
2016/05/22 Re: Flexpage: shared Mem Adam Lackorzynski
2016/05/22 Re: where can I download the previous version of L4linux? Adam Lackorzynski
2016/05/21 where can I download the previous version of L4linux? li94575
2016/05/13 Re: Flexpage: shared Mem ba_f
2016/05/12 Re: Flexpage: shared Mem Adam Lackorzynski
2016/05/12 Re: Flexpage: shared Mem ba_f
2016/05/11 Re: Question about Fiasco.OC support for SPARC Adam Lackorzynski
2016/05/11 Re: Flexpage: shared Mem Adam Lackorzynski
2016/05/10 Flexpage: shared Mem ba_f
2016/05/09 Re: Question about Fiasco.OC support for SPARC deng . chao1
2016/05/09 Re: Benchmarks in l4 Adam Lackorzynski
2016/05/09 Re: Question about Fiasco.OC support for SPARC Adam Lackorzynski
2016/05/09 Re: Benchmarks in l4 Maxim Baryshnikov
2016/05/09 Question about Fiasco.OC support for SPARC deng . chao1
2016/05/08 Re: Benchmarks in l4 Adam Lackorzynski
2016/05/08 Re: RPC( dataspace) Adam Lackorzynski
2016/05/02 RPC( dataspace) ba_f
2016/05/02 Re: dynamic linking (broke in new snap) ba_f
2016/04/28 Benchmarks in l4 Maxim Baryshnikov
2016/04/25 Re: dynamic linking (broke in new snap) Adam Lackorzynski
2016/04/22 dynamic linking (broke in new snap) ba_f
2016/04/14 Re: Task Priority Setting Adam Lackorzynski
2016/04/13 Task Priority Setting Nourhan Mohamed
2016/04/07 Re: Question about ARM LPAE li94575
2016/04/04 Re: Question about ARM LPAE Adam Lackorzynski
2016/04/04 Re: Bootstrap in real mode on x86_64: Possible? Adam Lackorzynski
2016/04/03 Re: Microkernel Meetup Bjoern Doebel
2016/04/03 Re: Question about ARM LPAE li94575
2016/04/02 Bootstrap in real mode on x86_64: Possible? Maxim Baryshnikov
2016/03/29 Re: Question about ARM LPAE Adam Lackorzynski
2016/03/28 Re:Re: Question about ARM LPAE li94575
2016/03/27 Re: Question about ARM LPAE Adam Lackorzynski
2016/03/25 Re: Question about ARM LPAE li94575
2016/03/24 Re: Question about ARM LPAE Adam Lackorzynski
2016/03/22 Question about ARM LPAE li94575
2016/03/20 Re: Can the latest L4Linux support for the ARM big.LITTLE architecture ? Adam Lackorzynski
2016/03/20 Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
2016/03/20 Re: Problems running example isr Adam Lackorzynski
2016/03/20 Can the latest L4Linux support for the ARM big.LITTLE architecture ? li94575
2016/03/19 Re: L4Linux Driver + L4_ipc ba_f
2016/03/15 Re: Microkernel Meetup Bjoern Doebel
2016/03/15 Re: L4linux IPC communication with L4re application Matthias Lange
2016/03/15 Re: L4linux IPC communication with L4re application ba_f
2016/03/14 Re: Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
2016/03/14 Re: [HelenOS-devel] FYI: microkernel.info community site Jakub Jermář
2016/03/14 Re: [HelenOS-devel] FYI: microkernel.info community site Vasily A. Sartakov
2016/03/12 Re: Problems running example isr Nourhan Mohamed
2016/03/11 Re: [seL4] FYI: microkernel.info community site Gernot Heiser
2016/03/11 Re: [seL4] FYI: microkernel.info community site Alexander Senier
2016/03/10 Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
2016/03/10 FYI: microkernel.info community site Jakub Jermář
2016/03/10 Re: [seL4] FYI: microkernel.info community site Gernot Heiser
2016/03/10 Re: Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
2016/03/09 Re: L4linux IPC communication with L4re application Adam Lackorzynski
2016/03/09 Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
2016/03/09 Re: Problems running example isr Adam Lackorzynski
2016/03/09 Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
2016/03/08 Microkernel Meetup Bjoern Doebel
2016/03/08 L4linux IPC communication with L4re application Ahmed Makkawi
2016/03/02 Problems running example isr Nourhan Mohamed
2016/03/02 Re: Running the Bro IDS on an ARMv7 board. Matthias Lange
2016/03/02 Re: Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
2016/03/01 Re: Question about "TheGuide to access HW on L4Linux" Taeung Song
2016/03/01 Re: Question about "TheGuide to access HW on L4Linux" Manolis Ragkousis
2016/03/01 Re: Question about "TheGuide to access HW on L4Linux" Taeung Song
2016/02/29 Re: Running the Bro IDS on an ARMv7 board. Adam Lackorzynski
2016/02/29 Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
2016/02/29 Re: Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
2016/02/29 Re: Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
2016/02/28 Re: Porting Fiasco + L4Re to Raspberry Pi 2 Adam Lackorzynski
2016/02/25 Re: L4Linux with IPC Ahmed Makkawi
2016/02/25 L4Linux with IPC Ahmed Makkawi
2016/02/24 Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
2016/02/23 Re: Compiling GPIO drivers for L4Linux Matthias Lange
2016/02/23 Compiling GPIO drivers for L4Linux Nourhan Mohamed
2016/02/08 GPIO access on L4Linux Nourhan Mohamed
2016/02/05 Re: Running L4linux as a server Matthias Lange
2016/02/04 Running L4linux as a server Ahmed Makkawi
2016/02/03 Re: L4Linux LKM Nourhan Mohamed
2016/02/03 L4Linux Driver + L4_ipc ba_f
2016/02/03 Re: L4Linux LKM Nourhan Mohamed
2016/02/03 Re: L4Linux LKM karim.allah.ah...@gmail.com
2016/02/03 Re: L4Linux LKM Nourhan Mohamed
2016/02/03 Re: L4Linux LKM karim.allah.ah...@gmail.com
2016/02/03 L4Linux LKM Nourhan Mohamed
2016/02/03 Re: Fwd: 'Illegal Instruction' on L4Linux ba_f
2016/02/02 Re: Building kernel modules for L4Linux Nourhan Mohamed
2016/02/02 Re: Building kernel modules for L4Linux Paul Boddie
2016/02/02 Building kernel modules for L4Linux Nourhan Mohamed
2016/02/01 Fwd: 'Illegal Instruction' on L4Linux Alexander Tarasikov
2016/02/01 'Illegal Instruction' on L4Linux ba_f
2016/01/27 Re: Device drivers and board support files Matthias Lange
2016/01/26 Device drivers and board support files Paul Boddie
2016/01/26 Re: Setting up network in L4Linux Nourhan Mohamed
2016/01/26 Re: Setting up network in L4Linux Nourhan Mohamed
2016/01/22 Re: Setting up network in L4Linux Matthias Lange
2016/01/21 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
2016/01/21 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
2016/01/21 Re: Setting up network in L4Linux Nourhan Mohamed
2016/01/20 Re: Setting up network in L4Linux Matthias Lange
2016/01/20 Setting up network in L4Linux Nourhan Mohamed
2016/01/20 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
2016/01/19 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
2016/01/19 Re: How can I get L4linux 3.10 code? Matthias Lange
2016/01/18 How can I get L4linux 3.10 code? liu . xiaodong2
2016/01/18 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
2016/01/17 Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
2016/01/14 Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
2016/01/12 Re: L4Linux Kernel module Adam Lackorzynski
2016/01/11 Re: L4Linux Kernel module ba_f
2016/01/06 Re: L4Linux Kernel module Adam Lackorzynski
2016/01/06 Re: L4Linux Kernel module ba_f
2016/01/04 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2016/01/04 Re: L4Re Update Adam Lackorzynski
2016/01/04 Re: L4Linux Kernel module Adam Lackorzynski
2016/01/04 Re: L4Re Update ba_f
2016/01/04 Re: Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
2016/01/04 L4Linux Kernel module ba_f
2015/12/31 Re: L4Re Update Johan Dams
2015/12/31 L4Re Update Adam Lackorzynski
2015/12/28 Re: Performance of L4 Adam Lackorzynski
2015/12/26 Performance of L4 Patrick Staeblein
2015/12/22 Re: Serial console not working Lluís Vilanova
2015/12/22 Re: Serial console not working Lluís Vilanova
2015/12/21 Re: Serial console not working Adam Lackorzynski
2015/12/21 Serial console not working Lluís Vilanova
2015/12/15 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2015/12/14 Re: Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
2015/12/13 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2015/12/13 Re: Problem with Hello app on Zedboard Adam Lackorzynski
2015/12/13 Re: real time app on l4linux Adam Lackorzynski
2015/12/11 Re: Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
2015/12/11 Problem with Hello app on Zedboard Manolis Ragkousis
2015/12/10 Re: real time app on l4linux cem akpolat
2015/12/10 Re: real time app on l4linux Adam Lackorzynski
2015/12/08 real time app on l4linux cem akpolat
2015/12/08 Reminder: Microkernel-devroom CfP deadline is on this Sunday Jakub Jermar
2015/12/02 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2015/11/30 Re: Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
2015/11/27 Re: L4Re halts at boot, waiting for console input Adam Lackorzynski
2015/11/27 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/27 Re: Qt on L4 Marcus Hähnel
2015/11/27 Qt on L4 Nancy Joshua
2015/11/26 QT on L4re Nancy
2015/11/26 L4Re halts at boot, waiting for console input Arttu Pulli
2015/11/25 Re: L4Linux update? Driver support li94575
2015/11/24 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/23 Re: L4Linux update? Driver support li94575
2015/11/22 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/22 Re: L4Linux update? Driver support li94575
2015/11/21 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2015/11/20 Re: Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
2015/11/19 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/16 Re: L4Linux update? Driver support ba_f
2015/11/15 Re: Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board. Adam Lackorzynski
2015/11/12 Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board. Mahdi Aichouch
2015/11/05 Re: How is network stack implemented in Fiasco/l4Re Adam Lackorzynski
2015/11/04 Re: How is network stack implemented in Fiasco/l4Re Yuxin Ren
2015/11/03 Re: How is network stack implemented in Fiasco/l4Re Adam Lackorzynski
2015/11/03 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/03 Re: L4Linux update? Driver support ba_f
2015/11/02 How is network stack implemented in Fiasco/l4Re Yuxin Ren
2015/11/02 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/02 Re: Microkernel Meetup Bjoern Doebel
2015/11/02 Re: L4Linux update? Driver support ba_f
2015/11/01 Re: L4Linux update? Driver support Adam Lackorzynski
2015/11/01 Re: Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
2015/10/30 Re: Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Mahdi Aichouch
2015/10/29 Re: Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Martin Schröder
2015/10/29 Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Mahdi Aichouch
2015/10/27 L4Linux update? Driver support ba_f
2015/10/27 Re: Sharing one ethernet network device between two L4Linux instances Mahdi Aichouch
2015/10/27 Re: U-Boot version issue ba_f
2015/10/27 Re: Application on top of L4re ba_f