2016 Archives by author

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

Starting: Mon Jan 4 15:53:22 CET 2016
Ending: Tue Dec 20 09:09:15 CET 2016
Messages: 227

• About IO server settings for DMA in L4Linux   Jesse-SC Chou (周書正)
• About IO server settings for DMA in L4Linux   Jesse-SC Chou (周書正)
• Memory usage analysis and optimization   Jesse-SC Chou (周書正)
• Memory usage analysis and optimization   Jesse-SC Chou (周書正)
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Running the Bro IDS on an ARMv7 board.   Mahdi Aichouch
• Running the Bro IDS on an ARMv7 board.   Mahdi Aichouch
• Running the Bro IDS on an ARMv7 board.   Mahdi Aichouch
• Running the Bro IDS on an ARMv7 board.   Mahdi Aichouch
• Partitioned Scheduling   Mehdi Amiri
• Bootstrap in real mode on x86_64: Possible?   Maxim Baryshnikov
• Benchmarks in l4   Maxim Baryshnikov
• Benchmarks in l4   Maxim Baryshnikov
• Fiasco-OC.UX, ux_con and the framebuffer examples   Paul Boddie
• Fiasco-OC.UX, ux_con and the framebuffer examples   Paul Boddie
• Fiasco-OC.UX, ux_con and the framebuffer examples   Paul Boddie
• Fiasco-OC.UX, ux_con and the framebuffer examples   Paul Boddie
• Device drivers and board support files   Paul Boddie
• Building kernel modules for L4Linux   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• Cross-compiling L4Re for MIPS32   Paul Boddie
• fiasco.oc i.MX7d port   Marc CHALAND
• fiasco.oc i.MX7d port   Marc CHALAND
• fiasco.oc i.MX7d port   Marc CHALAND
• fiasco.oc i.MX7d port   Marc CHALAND
• Porting Fiasco + L4Re to Raspberry Pi 2   Antoine DEBUT
• Porting Fiasco + L4Re to Raspberry Pi 2   Antoine DEBUT
• Porting Fiasco + L4Re to Raspberry Pi 2   Antoine DEBUT
• Booting L4Linux on Raspberry Pi 2   Antoine DEBUT
• Booting L4Linux on Raspberry Pi 2   Antoine DEBUT
• Booting L4Linux on Raspberry Pi 2   Antoine DEBUT
• Microkernel Meetup   Bjoern Doebel
• Microkernel Meetup   Bjoern Doebel
• Microkernel Meetup   Bjoern Doebel
• Partitioned Scheduling   Edinger, Stefan
• AW: Partitioned Scheduling   Edinger, Stefan
• Fwd: Microkernels / Component-based OSes devroom - Call for Participation   Norman Feske
• L4Linux Compilation trouble with missing packages in L4   Martin Gruber
• [seL4] FYI: microkernel.info community site   Gernot Heiser
• [seL4] FYI: microkernel.info community site   Gernot Heiser
• FYI: microkernel.info community site   Jakub Jermář
• [HelenOS-devel] FYI: microkernel.info community site   Jakub Jermář
• Partitioned Scheduling   Daniel Krefft
• Partitioned Scheduling   Daniel Krefft
• L4Linux Kernel module   Adam Lackorzynski
• L4Re Update   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• L4Linux Kernel module   Adam Lackorzynski
• L4Linux Kernel module   Adam Lackorzynski
• Fiasco-OC.UX, ux_con and the framebuffer examples   Adam Lackorzynski
• Fiasco-OC.UX, ux_con and the framebuffer examples   Adam Lackorzynski
• Fiasco-OC.UX, ux_con and the framebuffer examples   Adam Lackorzynski
• Porting Fiasco + L4Re to Raspberry Pi 2   Adam Lackorzynski
• Running the Bro IDS on an ARMv7 board.   Adam Lackorzynski
• Problems running example isr   Adam Lackorzynski
• Booting L4Linux on Raspberry Pi 2   Adam Lackorzynski
• L4linux IPC communication with L4re application   Adam Lackorzynski
• Booting L4Linux on Raspberry Pi 2   Adam Lackorzynski
• Problems running example isr   Adam Lackorzynski
• Booting L4Linux on Raspberry Pi 2   Adam Lackorzynski
• Can the latest L4Linux support for the ARM big.LITTLE architecture ?   Adam Lackorzynski
• Question about ARM LPAE   Adam Lackorzynski
• Question about ARM LPAE   Adam Lackorzynski
• Question about ARM LPAE   Adam Lackorzynski
• Bootstrap in real mode on x86_64: Possible?   Adam Lackorzynski
• Question about ARM LPAE   Adam Lackorzynski
• Task Priority Setting   Adam Lackorzynski
• dynamic linking (broke in new snap)   Adam Lackorzynski
• RPC( dataspace)   Adam Lackorzynski
• Benchmarks in l4   Adam Lackorzynski
• Question about Fiasco.OC support for SPARC   Adam Lackorzynski
• Benchmarks in l4   Adam Lackorzynski
• Flexpage: shared Mem   Adam Lackorzynski
• Question about Fiasco.OC support for SPARC   Adam Lackorzynski
• Flexpage: shared Mem   Adam Lackorzynski
• where can I download the previous version of L4linux?   Adam Lackorzynski
• Flexpage: shared Mem   Adam Lackorzynski
• L4Re Release   Adam Lackorzynski
• L4Linux Compilation trouble with missing packages in L4   Adam Lackorzynski
• Cross-compiling L4Re for MIPS32   Adam Lackorzynski
• Cross-compiling L4Re for MIPS32   Adam Lackorzynski
• Cross-compiling L4Re for MIPS32   Adam Lackorzynski
• Cross-compiling L4Re for MIPS32   Adam Lackorzynski
• building fiasco on alpine linux   Adam Lackorzynski
• Cross-compiling L4Re for MIPS32   Adam Lackorzynski
• building fiasco on alpine linux   Adam Lackorzynski
• building fiasco on alpine linux   Adam Lackorzynski
• where can I download the previous version of L4linux?   Adam Lackorzynski
• l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem   Adam Lackorzynski
• l4re programming language support   Adam Lackorzynski
• Question: The future of Fiasco & L4Re   Adam Lackorzynski
• l4_thread_ex_regs and suspending thread   Adam Lackorzynski
• l4_thread_ex_regs and suspending thread   Adam Lackorzynski
• l4linux panic on iMX6SX   Adam Lackorzynski
• USDHC driver for i.MX6   Adam Lackorzynski
• memory map/unmap performance   Adam Lackorzynski
• dynamic reconfiguration   Adam Lackorzynski
• Genode + Fiasco.OC: How to access multiple run queues?   Adam Lackorzynski
• Partitioned Scheduling   Adam Lackorzynski
• Partitioned Scheduling   Adam Lackorzynski
• Partitioned Scheduling   Adam Lackorzynski
• L4Linux stop at "Calibrating delay loop ..."   Adam Lackorzynski
• L4Linux stop at "Calibrating delay loop ..."   Adam Lackorzynski
• L4Linux stop at "Calibrating delay loop ..."   Adam Lackorzynski
• fiasco.oc i.MX7d port   Adam Lackorzynski
• fiasco.oc i.MX7d port   Adam Lackorzynski
• fiasco.oc i.MX7d port   Adam Lackorzynski
• fiasco.oc i.MX7d port   Adam Lackorzynski
• About IO server settings for DMA in L4Linux   Adam Lackorzynski
• About l4linux debug method   Adam Lackorzynski
• About IO server settings for DMA in L4Linux   Adam Lackorzynski
• About l4linux debug method   Adam Lackorzynski
• Memory usage analysis and optimization   Adam Lackorzynski
• How can I get L4linux 3.10 code?   Matthias Lange
• Setting up network in L4Linux   Matthias Lange
• Setting up network in L4Linux   Matthias Lange
• Device drivers and board support files   Matthias Lange
• Running L4linux as a server   Matthias Lange
• Compiling GPIO drivers for L4Linux   Matthias Lange
• Running the Bro IDS on an ARMv7 board.   Matthias Lange
• L4linux IPC communication with L4re application   Matthias Lange
• dynamic reconfiguration   Matthias Lange
• HW access   Matthias Lange
• HW access   Matthias Lange
• dynamic reconfiguration   Matthias Lange
• dynamic reconfiguration   Matthias Lange
• Is L4Linux can use its existed Linux driver to access hardware device?   Matthias Lange
• Is L4Linux can use its existed Linux driver to access hardware device?   Matthias Lange
• Is L4Linux can use its existed Linux driver to access hardware device?   Matthias Lange
• Is L4Linux can use its existed Linux driver to access hardware device?   Matthias Lange
• Can't find device node in /dev/ directory!   Matthias Lange
• Running L4linux as a server   Ahmed Makkawi
• L4Linux with IPC   Ahmed Makkawi
• L4Linux with IPC   Ahmed Makkawi
• L4linux IPC communication with L4re application   Ahmed Makkawi
• USDHC driver for i.MX6   AIT HMID Moha
• l4linux panic on iMX6SX   AIT HMID Moha
• Setting up network in L4Linux   Nourhan Mohamed
• Setting up network in L4Linux   Nourhan Mohamed
• Setting up network in L4Linux   Nourhan Mohamed
• Setting up network in L4Linux   Nourhan Mohamed
• Building kernel modules for L4Linux   Nourhan Mohamed
• Building kernel modules for L4Linux   Nourhan Mohamed
• L4Linux LKM   Nourhan Mohamed
• L4Linux LKM   Nourhan Mohamed
• L4Linux LKM   Nourhan Mohamed
• L4Linux LKM   Nourhan Mohamed
• GPIO access on L4Linux   Nourhan Mohamed
• Compiling GPIO drivers for L4Linux   Nourhan Mohamed
• Problems running example isr   Nourhan Mohamed
• Problems running example isr   Nourhan Mohamed
• Task Priority Setting   Nourhan Mohamed
• Question about "TheGuide to access HW on L4Linux"   Manolis Ragkousis
• memory map/unmap performance   Yuxin Ren
• Question: The future of Fiasco & L4Re   Ratko Rudič
• [HelenOS-devel] FYI: microkernel.info community site   Vasily A. Sartakov
• building fiasco on alpine linux   Michael Schnupp
• building fiasco on alpine linux   Michael Schnupp
• building fiasco on alpine linux   Michael Schnupp
• building fiasco on alpine linux   Michael Schnupp
• l4re programming language support   Michael Schnupp
• l4_thread_ex_regs and suspending thread   Valery V. Sedletski
• l4_thread_ex_regs and suspending thread   Valery V. Sedletski
• l4_thread_ex_regs and suspending thread   Valery V. Sedletski
• [seL4] FYI: microkernel.info community site   Alexander Senier
• Genode + Fiasco.OC: How to access multiple run queues?   Guru Siddesh
• Question about "TheGuide to access HW on L4Linux"   Taeung Song
• Question about "TheGuide to access HW on L4Linux"   Taeung Song
• L4Linux stop at "Calibrating delay loop ..."   Reinier Millo Sánchez
• Fwd: 'Illegal Instruction' on L4Linux   Alexander Tarasikov
• Is L4Linux can use its existed Linux driver to access hardware device?   Zhe Zhao
• Is L4Linux can use its existed Linux driver to access hardware device?   Zhe Zhao
• Is L4Linux can use its existed Linux driver to access hardware device?   Zhe Zhao
• Is L4Linux can use its existed Linux driver to access hardware device?   Zhe Zhao
• L4Re Update   ba_f
• L4Linux Kernel module   ba_f
• L4Linux Kernel module   ba_f
• L4Linux Kernel module   ba_f
• 'Illegal Instruction' on L4Linux   ba_f
• Fwd: 'Illegal Instruction' on L4Linux   ba_f
• L4Linux Driver + L4_ipc   ba_f
• L4Linux with IPC   ba_f
• L4linux IPC communication with L4re application   ba_f
• L4Linux Driver + L4_ipc   ba_f
• dynamic linking (broke in new snap)   ba_f
• dynamic linking (broke in new snap)   ba_f
• RPC( dataspace)   ba_f
• Flexpage: shared Mem   ba_f
• Flexpage: shared Mem   ba_f
• Flexpage: shared Mem   ba_f
• dynamic reconfiguration   ba_f
• dynamic reconfiguration   ba_f
• HW access   ba_f
• HW access   ba_f
• HW access   ba_f
• dynamic reconfiguration   ba_f
• dynamic reconfiguration   ba_f
• L4Linux LKM   karim.allah.ahmed at gmail.com
• L4Linux LKM   karim.allah.ahmed at gmail.com
• Can the latest L4Linux support for the ARM big.LITTLE architecture ?   li94575
• Question about ARM LPAE   li94575
• Question about ARM LPAE   li94575
• Question about ARM LPAE   li94575
• Question about ARM LPAE   li94575
• Question about ARM LPAE   li94575
• where can I download the previous version of L4linux?   li94575
• where can I download the previous version of L4linux?   li94575
• L4Linux stop at "Calibrating delay loop ..."   li94575
• L4Linux stop at "Calibrating delay loop ..."   li94575
• L4Linux stop at "Calibrating delay loop ..."   li94575
• L4Linux stop at "Calibrating delay loop ..."   li94575
• Can't find device node in /dev/ directory!   li94575
• Can't find device node in /dev/ directory!   li94575
• Can't find device node in /dev/ directory!   li94575
• About l4linux debug method   li94575
• About l4linux debug method   li94575
• Can't find device node in /dev/ directory!   g4 at novadsp.com
• Question about Fiasco.OC support for SPARC   deng.chao1 at zte.com.cn
• Question about Fiasco.OC support for SPARC   deng.chao1 at zte.com.cn
• How can I get L4linux 3.10 code?   liu.xiaodong2 at zte.com.cn
• l4-hackers Digest, Vol 157, Issue 10   Иван Филиппов
• l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem   张鑫
• l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem   张鑫

Last message date: Tue Dec 20 09:09:15 CET 2016
Archived on: Tue Apr 13 12:03:58 CEST 2021

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