l4-hackers  

Messages by Thread

• • Re: Cross-compiling L4Re for MIPS32 Paul Boddie
  • Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
  • Re: Cross-compiling L4Re for MIPS32 Paul Boddie
  • Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
  • Re: Cross-compiling L4Re for MIPS32 Paul Boddie
  • Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
  • Re: Cross-compiling L4Re for MIPS32 Paul Boddie
  • Re: Cross-compiling L4Re for MIPS32 Adam Lackorzynski
  • Re: Cross-compiling L4Re for MIPS32 Paul Boddie
• L4Linux Compilation trouble with missing packages in L4 Martin Gruber
  • Re: L4Linux Compilation trouble with missing packages in L4 Adam Lackorzynski
• Re: l4-hackers Digest, Vol 157, Issue 10 Иван Филиппов
• L4Re Release Adam Lackorzynski
• where can I download the previous version of L4linux? li94575
  • Re: where can I download the previous version of L4linux? Adam Lackorzynski
  • Re: where can I download the previous version of L4linux? li94575
  • Re: where can I download the previous version of L4linux? Adam Lackorzynski
• Flexpage: shared Mem ba_f
  • Re: Flexpage: shared Mem Adam Lackorzynski
  • Re: Flexpage: shared Mem ba_f
  • Re: Flexpage: shared Mem Adam Lackorzynski
  • Re: Flexpage: shared Mem ba_f
  • Re: Flexpage: shared Mem Adam Lackorzynski
• Question about Fiasco.OC support for SPARC deng . chao1
  • Re: Question about Fiasco.OC support for SPARC Adam Lackorzynski
  • Re: Question about Fiasco.OC support for SPARC deng . chao1
  • Re: Question about Fiasco.OC support for SPARC Adam Lackorzynski
• Benchmarks in l4 Maxim Baryshnikov
  • RPC( dataspace) ba_f
  • Re: RPC( dataspace) Adam Lackorzynski
  • HW access ba_f
  • Re: HW access Matthias Lange
  • Re: HW access ba_f
  • Re: HW access Matthias Lange
  • Re: HW access ba_f
  • Re: Define Addr. Space of Task ba_f
  • Re: Benchmarks in l4 Adam Lackorzynski
  • Re: Benchmarks in l4 Maxim Baryshnikov
  • Re: Benchmarks in l4 Adam Lackorzynski
• Task Priority Setting Nourhan Mohamed
  • Re: Task Priority Setting Adam Lackorzynski
  • dynamic linking (broke in new snap) ba_f
  • Re: dynamic linking (broke in new snap) Adam Lackorzynski
  • Re: dynamic linking (broke in new snap) ba_f
• Bootstrap in real mode on x86_64: Possible? Maxim Baryshnikov
  • Re: Bootstrap in real mode on x86_64: Possible? Adam Lackorzynski
• Question about ARM LPAE li94575
  • Re: Question about ARM LPAE Adam Lackorzynski
  • Re: Question about ARM LPAE li94575
  • Re: Question about ARM LPAE Adam Lackorzynski
  • Re:Re: Question about ARM LPAE li94575
  • Re: Question about ARM LPAE Adam Lackorzynski
  • Re: Question about ARM LPAE li94575
  • Re: Question about ARM LPAE Adam Lackorzynski
  • Re: Question about ARM LPAE li94575
• Can the latest L4Linux support for the ARM big.LITTLE architecture ? li94575
  • Re: Can the latest L4Linux support for the ARM big.LITTLE architecture ? Adam Lackorzynski
• FYI: microkernel.info community site Jakub Jermář
  • Re: [seL4] FYI: microkernel.info community site Gernot Heiser
  • Re: [seL4] FYI: microkernel.info community site Alexander Senier
  • Re: [seL4] FYI: microkernel.info community site Gernot Heiser
  • Re: [HelenOS-devel] FYI: microkernel.info community site Vasily A. Sartakov
  • Re: [HelenOS-devel] FYI: microkernel.info community site Jakub Jermář
• Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
  • Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
  • Re: Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
  • Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
  • Re: Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
  • Re: Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
• L4linux IPC communication with L4re application Ahmed Makkawi
  • Re: L4linux IPC communication with L4re application Adam Lackorzynski
  • Re: L4linux IPC communication with L4re application ba_f
  • Re: L4linux IPC communication with L4re application Matthias Lange
• Problems running example isr Nourhan Mohamed
  • Re: Problems running example isr Adam Lackorzynski
  • Re: Problems running example isr Nourhan Mohamed
  • Re: Problems running example isr Adam Lackorzynski
• Re: Question about "TheGuide to access HW on L4Linux" Taeung Song
  • Re: Question about "TheGuide to access HW on L4Linux" Manolis Ragkousis
  • Re: Question about "TheGuide to access HW on L4Linux" Taeung Song
• Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
  • Re: Running the Bro IDS on an ARMv7 board. Adam Lackorzynski
  • Re: Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
  • Re: Running the Bro IDS on an ARMv7 board. Matthias Lange
• L4Linux with IPC Ahmed Makkawi
  • Re: L4Linux with IPC Ahmed Makkawi
• Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Adam Lackorzynski
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Alexander Weidinger
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Adam Lackorzynski
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Alexander Weidinger
  • Re: Porting Fiasco + L4Re to Raspberry Pi 2 Adam Lackorzynski
• Compiling GPIO drivers for L4Linux Nourhan Mohamed
  • Re: Compiling GPIO drivers for L4Linux Matthias Lange
• GPIO access on L4Linux Nourhan Mohamed
• Running L4linux as a server Ahmed Makkawi
  • Re: Running L4linux as a server Matthias Lange
• L4Linux LKM Nourhan Mohamed
  • Re: L4Linux LKM [email protected]
  • Re: L4Linux LKM Nourhan Mohamed
  • Re: L4Linux LKM [email protected]
  • Re: L4Linux LKM Nourhan Mohamed
  • Re: L4Linux LKM Nourhan Mohamed
• Building kernel modules for L4Linux Nourhan Mohamed
  • Re: Building kernel modules for L4Linux Paul Boddie
  • Re: Building kernel modules for L4Linux Nourhan Mohamed
• 'Illegal Instruction' on L4Linux ba_f
  • Fwd: 'Illegal Instruction' on L4Linux Alexander Tarasikov
  • Re: Fwd: 'Illegal Instruction' on L4Linux ba_f
  • L4Linux Driver + L4_ipc ba_f
  • Re: L4Linux Driver + L4_ipc ba_f
• Device drivers and board support files Paul Boddie
  • Re: Device drivers and board support files Matthias Lange
• Setting up network in L4Linux Nourhan Mohamed
  • Re: Setting up network in L4Linux Matthias Lange
  • Re: Setting up network in L4Linux Nourhan Mohamed
  • Re: Setting up network in L4Linux Matthias Lange
  • Re: Setting up network in L4Linux Nourhan Mohamed
  • Re: Setting up network in L4Linux Nourhan Mohamed
• How can I get L4linux 3.10 code? liu . xiaodong2
  • Re: How can I get L4linux 3.10 code? Matthias Lange
• Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
  • Re: Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
• L4Re Update Adam Lackorzynski
  • Re: L4Re Update Johan Dams
  • Re: L4Re Update ba_f
  • Re: L4Re Update Adam Lackorzynski
• Performance of L4 Patrick Staeblein
  • Re: Performance of L4 Adam Lackorzynski
• Serial console not working Lluís Vilanova
  • Re: Serial console not working Adam Lackorzynski
  • Re: Serial console not working Lluís Vilanova
  • Re: Serial console not working Lluís Vilanova
• Problem with Hello app on Zedboard Manolis Ragkousis
  • Re: Problem with Hello app on Zedboard Adam Lackorzynski
• real time app on l4linux cem akpolat
  • Re: real time app on l4linux Adam Lackorzynski
  • Re: real time app on l4linux cem akpolat
  • Re: real time app on l4linux Adam Lackorzynski
• Reminder: Microkernel-devroom CfP deadline is on this Sunday Jakub Jermar
• Qt on L4 Nancy Joshua
  • Re: Qt on L4 Marcus Hähnel
• QT on L4re Nancy
• L4Re halts at boot, waiting for console input Arttu Pulli
  • Re: L4Re halts at boot, waiting for console input Adam Lackorzynski
• Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board. Mahdi Aichouch
  • Re: Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board. Adam Lackorzynski
• How is network stack implemented in Fiasco/l4Re Yuxin Ren
  • Re: How is network stack implemented in Fiasco/l4Re Adam Lackorzynski
  • Re: How is network stack implemented in Fiasco/l4Re Yuxin Ren
  • Re: How is network stack implemented in Fiasco/l4Re Adam Lackorzynski
• Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Mahdi Aichouch
  • Re: Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Martin Schröder
  • Re: Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821) Mahdi Aichouch
• Application on top of L4re Yuxin Ren
  • Re: Application on top of L4re Matthias Lange
  • Re: Application on top of L4re Yuxin Ren
  • Re: Application on top of L4re Matthias Lange
  • Re: Application on top of L4re ba_f
• Sharing one ethernet network device between two L4Linux instances Mahdi Aichouch
  • Re: Sharing one ethernet network device between two L4Linux instances Matthias Lange
  • Re: Sharing one ethernet network device between two L4Linux instances Mahdi Aichouch
  • Re: Sharing one ethernet network device between two L4Linux instances Martin Schröder
  • Re: Sharing one ethernet network device between two L4Linux instances Mahdi Aichouch
  • Re: Sharing one ethernet network device between two L4Linux instances Martin Schröder
• Hiring engineers for seL4 work Gernot Heiser
  • U-Boot version issue ba_f
  • Re: U-Boot version issue Matthias Lange
  • Re: U-Boot version issue Adam Lackorzynski
  • Re: U-Boot version issue ba_f
  • Re: U-Boot version issue Adam Lackorzynski
  • Re: U-Boot version issue ba_f
  • L4Linux update? Driver support ba_f
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support ba_f
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support ba_f
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support ba_f
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support li94575
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support li94575
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • Re: L4Linux update? Driver support li94575
  • Re: L4Linux update? Driver support Adam Lackorzynski
  • L4Linux Kernel module ba_f
  • Re: L4Linux Kernel module Adam Lackorzynski
  • Re: L4Linux Kernel module ba_f
  • Re: L4Linux Kernel module Adam Lackorzynski
  • Re: L4Linux Kernel module ba_f
  • Re: L4Linux Kernel module Adam Lackorzynski
  • BSP support - UART ba_f

• Earlier messages
• Later messages