l4-hackers  

Messages by Date

• 2015/05/18 Does Fiasco support floating point? Yuxin Ren
• 2015/05/17 Re: Fiasco.OC-UX and recent Linux kernels Paul Boddie
• 2015/05/17 Re: l4-hackers Digest, Vol 145, Issue 7 Adam Lackorzynski
• 2015/05/17 Re: Booting error in L4android for Exynos 5250. Adam Lackorzynski
• 2015/05/17 Re: Question about ext2 in Fiasco/L4re Adam Lackorzynski
• 2015/05/17 Re: Question about RCU subsystem in Fiasco kernel. Adam Lackorzynski
• 2015/05/17 Re: question about file mapping Adam Lackorzynski
• 2015/05/17 Re: Increase IPC-Stream size Adam Lackorzynski
• 2015/05/17 Re: anything wrong when call Thread::do_ipc? Adam Lackorzynski
• 2015/05/17 Re: the Thread::do_ipc's parameter Adam Lackorzynski
• 2015/05/17 Re: Utcb in syscall Adam Lackorzynski
• 2015/05/17 Re: Fiasco.OC-UX and recent Linux kernels Adam Lackorzynski
• 2015/05/15 Re: l4-hackers Digest, Vol 145, Issue 7 Reinier Millo Sánchez
• 2015/05/13 Booting error in L4android for Exynos 5250. Youren Shen
• 2015/05/13 Question about ext2 in Fiasco/L4re yang . wei9
• 2015/05/13 Question about RCU subsystem in Fiasco kernel. deng . chao1
• 2015/05/12 question about file mapping yang . wei9
• 2015/05/12 Re: Increase IPC-Stream size ba_f
• 2015/05/11 anything wrong when call Thread::do_ipc? watermirror
• 2015/05/11 the Thread::do_ipc's parameter watermirror
• 2015/05/11 Utcb in syscall watermirror
• 2015/05/11 Fiasco.OC-UX and recent Linux kernels Paul Boddie
• 2015/05/10 Re: Fiasco & L4 boot performance Adam Lackorzynski
• 2015/05/10 Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412) Adam Lackorzynski
• 2015/05/10 Re: Increase IPC-Stream size Adam Lackorzynski
• 2015/05/10 Re: Using a second UART to control a serial device Adam Lackorzynski
• 2015/05/10 Re: Using a second UART to control a serial device Adam Lackorzynski
• 2015/05/08 Re: about Ram_quota Yuxin Ren
• 2015/05/08 Re: Static_object::construct Janis Danisevskis
• 2015/05/07 Static_object::construct watermirror
• 2015/05/07 about Ram_quota watermirror
• 2015/05/07 Fiasco & L4 boot performance Arttu Pulli
• 2015/05/05 Re: Using a second UART to control a serial device teclis High Elf
• 2015/05/04 Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412) Reinier Millo Sánchez
• 2015/05/04 Re: Increase IPC-Stream size ba_f
• 2015/05/04 Re: Using a second UART to control a serial device Pflaum, Clemens
• 2015/05/04 Re: Using a second UART to control a serial device Pflaum, Clemens
• 2015/05/03 Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412) Adam Lackorzynski
• 2015/05/03 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/05/03 Re: Using a second UART to control a serial device Adam Lackorzynski
• 2015/05/03 Re: context::regs Adam Lackorzynski
• 2015/05/02 Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412) Reinier Millo Sánchez
• 2015/04/29 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/04/29 Re: Using a second UART to control a serial device Pflaum, Clemens
• 2015/04/28 context::regs watermirror
• 2015/04/28 Re: the syscall stack frame and Context::regs method Adam Lackorzynski
• 2015/04/28 Re: about sysenter Adam Lackorzynski
• 2015/04/28 Re: the first instruction in entry_sys_fast_ipc_c Adam Lackorzynski
• 2015/04/28 Re: How to solve the problem about multiple definition of clk_enable? Adam Lackorzynski
• 2015/04/28 Re: How L4Linux Linked the header file? Adam Lackorzynski
• 2015/04/28 Re: Using a second UART to control a serial device Adam Lackorzynski
• 2015/04/28 the syscall stack frame and Context::regs method watermirror
• 2015/04/27 about sysenter watermirror
• 2015/04/27 the first instruction in entry_sys_fast_ipc_c watermirror
• 2015/04/27 How to solve the problem about multiple definition of clk_enable? Youren Shen
• 2015/04/25 Re: How L4Linux Linked the header file? Youren Shen
• 2015/04/25 Re: How L4Linux Linked the header file? Youren Shen
• 2015/04/25 Re: Using a second UART to control a serial device Pflaum, Clemens
• 2015/04/24 Re: Yuxin Ren
• 2015/04/24 Re: where is the call_bootstrap? Matthias Lange
• 2015/04/23 where is the call_bootstrap? ????
• 2015/04/23 [no subject] deng . chao1
• 2015/04/22 Re: Static_object in fiasco kernel Adam Lackorzynski
• 2015/04/22 Re: How L4Linux Linked the header file? Adam Lackorzynski
• 2015/04/22 Re: How to compile the fiasco kernel test directory? Adam Lackorzynski
• 2015/04/22 Re: How to do quickly in order to starting fiasco with a console shell? Adam Lackorzynski
• 2015/04/22 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/04/20 Static_object in fiasco kernel ????
• 2015/04/20 Re: Using a second UART to control a serial device Pflaum, Clemens
• 2015/04/19 Using multiple NICs within one application Stark, Josef
• 2015/04/18 How L4Linux Linked the header file? Youren Shen
• 2015/04/18 Re: Using a second UART to control a serial device Reinier Millo Sánchez
• 2015/04/17 Using a second UART to control a serial device Pflaum, Clemens
• 2015/04/17 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/04/17 Re: How to compile the fiasco kernel test directory? Liu Xiaodong
• 2015/04/16 Re: the kernel's output Marcus Völp
• 2015/04/16 the kernel's output ????
• 2015/04/16 Re: How to compile the fiasco kernel test directory? Adam Lackorzynski
• 2015/04/16 Re: the ldscripts of L4Re Adam Lackorzynski
• 2015/04/16 Re: How to track execution process of fiasco user mode applications£¿ Adam Lackorzynski
• 2015/04/16 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/04/16 Re: mmu in bootstrap Matthias Lange
• 2015/04/15 How to compile the fiasco kernel test directory? Liu Xiaodong
• 2015/04/15 mmu in bootstrap ????
• 2015/04/15 the ldscripts of L4Re ????
• 2015/04/13 How to track execution process of fiasco user mode applications？ zhou . li9
• 2015/04/13 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/04/11 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/04/10 Re: IPC stream magic Adam Lackorzynski
• 2015/04/09 RE: ARM with Qemu Nicolas VARONA
• 2015/04/08 Re: Question about L4/Fiasco running the kernel with interrupts disable Adam Lackorzynski
• 2015/04/08 Re: How to do quickly in order to starting fiasco with a console shell? Adam Lackorzynski
• 2015/04/08 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/04/08 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/04/08 How to do quickly in order to starting fiasco with a console shell? zhou . li9
• 2015/04/07 Question about L4/Fiasco running the kernel with interrupts disable deng . chao1
• 2015/04/07 Question about L4/Fiasco running the kernel with interrupts disable cui . yunfeng
• 2015/04/07 Re: about ".initcall.text" and ".initcall.data" Adam Lackorzynski
• 2015/04/07 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/04/04 Re: Microkernel Meetup Björn Döbel
• 2015/04/01 about ".initcall.text" and ".initcall.data" ????
• 2015/04/01 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/31 Re: Denial of service in microkernel Nicholas Mc Guire
• 2015/03/31 Denial of service in microkernel Gayathri Nagarajan
• 2015/03/31 Re: Fiasco testcase And L4RE API Adam Lackorzynski
• 2015/03/31 Re: your mail Adam Lackorzynski
• 2015/03/31 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/03/30 Fiasco testcase And L4RE API cui . yunfeng
• 2015/03/30 [no subject] zhou . li9
• 2015/03/30 Re: L4 and Lua interaction Matthias Lange
• 2015/03/27 L4 and Lua interaction daniel krefft
• 2015/03/25 Microkernel Meetup Björn Döbel
• 2015/03/25 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/24 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/03/24 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/24 Re: microkernel as an instance in oracle virtual box Björn Döbel
• 2015/03/24 microkernel as an instance in oracle virtual box Gayathri Nagarajan
• 2015/03/24 Re: the implemention of l4_ipc_send Björn Döbel
• 2015/03/24 Re: Support for Raspberry Pi 2 B and/or Odroid C1 Matthias Lange
• 2015/03/23 the implemention of l4_ipc_send ????
• 2015/03/23 RE: ARM with Qemu Nicolas VARONA
• 2015/03/23 Re: Help with RaspberryPI USB on Fiasco.OC+Genode Norman Feske
• 2015/03/23 Support for Raspberry Pi 2 B and/or Odroid C1 daniel krefft
• 2015/03/23 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/22 Re: Help to measure the Fiasco.OC's real-time capabilities Gernot Heiser
• 2015/03/22 Help to measure the Fiasco.OC's real-time capabilities Reinier Millo Sánchez
• 2015/03/22 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Adam Lackorzynski
• 2015/03/22 Re: Moe::Boot_fs::init_stage1() Adam Lackorzynski
• 2015/03/22 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/22 Help with RaspberryPI USB on Fiasco.OC+Genode Reinier Millo Sánchez
• 2015/03/20 RE: ARM with Qemu Nicolas VARONA
• 2015/03/20 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/19 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/19 Re: the editor for Fiasco.OC Björn Döbel
• 2015/03/18 Moe::Boot_fs::init_stage1() 水镜
• 2015/03/18 the editor for Fiasco.OC cui . yunfeng
• 2015/03/18 RE: ARM with Qemu Nicolas VARONA
• 2015/03/17 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/17 Re: L4Re Hello World Qemu vs Hardware Matthias Lange
• 2015/03/17 Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/17 Experimenting the vm-tz example on the Freescale i.mx6 SDB Mahdi Aichouch
• 2015/03/17 L4Re Hello World Qemu vs Hardware André Bispo
• 2015/03/16 Re: Checkpoint/Restore on L4Re Björn Döbel
• 2015/03/16 Re: Running a task without region manager Stark, Josef
• 2015/03/16 Checkpoint/Restore on L4Re Stark, Josef
• 2015/03/16 RE: ARM with Qemu Nicolas VARONA
• 2015/03/15 Re: Disable log color Adam Lackorzynski
• 2015/03/15 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/14 Re: Running a task without region manager Björn Döbel
• 2015/03/14 Running a task without region manager Stark, Josef
• 2015/03/13 Networking issues (ankh/lwip/drivers/?) Stark, Josef
• 2015/03/13 Re: dde kit Björn Döbel
• 2015/03/13 Re: dde kit Daniel Krefft
• 2015/03/13 Re: dde kit Björn Döbel
• 2015/03/13 dde kit Daniel Krefft
• 2015/03/12 Re: Porting Fiasco.OC to RISC-V - Questions Adam Lackorzynski
• 2015/03/12 Re: Porting Fiasco.OC to RISC-V - Questions Hesham ALMatary
• 2015/03/12 RE: ARM with Qemu Nicolas VARONA
• 2015/03/12 Re: Disable log color Martin Schröder
• 2015/03/11 Re: Porting Fiasco.OC to RISC-V - Questions Adam Lackorzynski
• 2015/03/11 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Stark, Josef
• 2015/03/11 Porting Fiasco.OC to RISC-V - Questions Hesham ALMatary
• 2015/03/11 Re: add new package Matthias Lange
• 2015/03/10 add new package ????
• 2015/03/10 Re: Disable log color teclis High Elf
• 2015/03/10 Re: Disable log color Matthias Lange
• 2015/03/09 Disable log color teclis High Elf
• 2015/03/08 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/05 Re: seL4 and mysql Adam Lackorzynski
• 2015/03/05 seL4 and mysql André Bispo
• 2015/03/05 Re: ARM with Qemu Nicolas VARONA
• 2015/03/04 Re: Where could i found the class implemention Matthias Lange
• 2015/03/04 Re: how to get the log from serial Matthias Lange
• 2015/03/04 how to get the log from serial 水镜
• 2015/03/04 Where could i found the class implemention ????
• 2015/03/04 Re: ARM with Qemu Adam Lackorzynski
• 2015/03/04 Re: 回复： no such object found: rom/l4re backtrace Matthias Lange
• 2015/03/03 回复： no such object found: rom/l4re backtrace 水镜
• 2015/03/03 Re: no such object found: rom/l4re backtrace Matthias Lange
• 2015/03/03 no such object found: rom/l4re backtrace ????
• 2015/03/02 ARM with Qemu Nicolas VARONA
• 2015/03/01 Re: Blocking Read Adam Lackorzynski
• 2015/02/27 Re: Troubles testing UART3 on Exynos5 Matthias Lange
• 2015/02/26 Re: Ethernet on l4linux taeung
• 2015/02/25 Blocking Read teclis High Elf
• 2015/02/24 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Stark, Josef
• 2015/02/22 Troubles testing UART3 on Exynos5 Reinier Millo Sánchez
• 2015/02/20 Re: Ethernet on l4linux Matthias Lange
• 2015/02/18 Ethernet on l4linux Gayathri Nagarajan
• 2015/02/18 Re: Problem with Socket program in l4linux TaeWoong Song
• 2015/02/15 Re: Problem with Socket program in l4linux taeung
• 2015/02/13 Re: Ram size of the arm images Matthias Lange
• 2015/02/13 Re: Problem with socket program on l4linux Matthias Lange
• 2015/02/13 Problem with socket program on l4linux Gayathri Nagarajan
• 2015/02/13 Ram size of the arm images cem akpolat
• 2015/02/12 Re: Running l4android on cubieboard2 cem akpolat
• 2015/02/11 Re: Problem Launching L4Linux Adam Lackorzynski
• 2015/02/10 Re: Problem with executing a binary on l4linux Marcus Hähnel
• 2015/02/10 Problem with executing a binary on l4linux Harini Balachandran
• 2015/02/10 Re: Problem Launching L4Linux Piweli

• Earlier messages
• Later messages