l4-hackers  

Messages by Date

• 2014/05/19 I share a document to access HW on L4 Linux. Taeung
• 2014/05/19 Can you check this patch file(imx6q-fec.patch) ? Taeung
• 2014/05/19 Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong Peter Howard
• 2014/05/19 Re: Doing simple I/O in clntsrv example Marcus Hähnel
• 2014/05/19 Doing simple I/O in clntsrv example Valentin Hauner
• 2014/05/19 Re: Doing simple I/O in clntsrv example Marcus Hähnel
• 2014/05/19 Doing simple I/O in clntsrv example Valentin Hauner
• 2014/05/18 Re: Fwd: Re: cannot find -lld-l4 Marcus Hähnel
• 2014/05/18 Fwd: Re: cannot find -lld-l4 ba_f
• 2014/05/17 Re: Doing simple I/O in clntsrv example Björn Döbel
• 2014/05/17 Re: Doing simple I/O in clntsrv example Marcus Hähnel
• 2014/05/17 Doing simple I/O in clntsrv example Valentin Hauner
• 2014/05/15 interfaces of scheduler Fiasco Bouchra Elouri
• 2014/05/14 Re: OKL4 vs L4::Pistachio Gernot Heiser
• 2014/05/14 Re: how to get current cpu id Matthias Lange
• 2014/05/14 Re: how to get current cpu id Yuxin Ren
• 2014/05/14 Re: how to get current cpu id Adam Lackorzynski
• 2014/05/14 Re: Question about dataspace Adam Lackorzynski
• 2014/05/14 Re: cannot find -lld-l4 Adam Lackorzynski
• 2014/05/14 Re: cannot find -lld-l4 Matthias Lange
• 2014/05/14 cannot find -lld-l4 ba_f
• 2014/05/13 Re: Question about dataspace Yuxin Ren
• 2014/05/13 how to get current cpu id Yuxin Ren
• 2014/05/13 Re: Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0 Peter Howard
• 2014/05/13 Re: Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0 Adam Lackorzynski
• 2014/05/13 Re: Question about dataspace Adam Lackorzynski
• 2014/05/13 Re: Question about dataspace Yuxin Ren
• 2014/05/13 Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0 Peter Howard
• 2014/05/12 Re: About DMA mem and IO Server Yuxin Ren
• 2014/05/12 Re: About DMA mem and IO Server Martin Schröder
• 2014/05/12 About DMA mem and IO Server Taeung
• 2014/05/10 Re: Question about dataspace Adam Lackorzynski
• 2014/05/10 Re: Facing l4x-evict_task problem in L4Linux Adam Lackorzynski
• 2014/05/09 Question about dataspace Yuxin Ren
• 2014/05/09 Re: How to talk to a specific thread in a server Yuxin Ren
• 2014/05/09 Facing l4x-evict_task problem in L4Linux Irvanda Kurniadi
• 2014/05/08 Re: How to talk to a specific thread in a server Björn Döbel
• 2014/05/08 Re: How to talk to a specific thread in a server Björn Döbel
• 2014/05/08 Re: How to talk to a specific thread in a server Yuxin Ren
• 2014/05/07 Re: How to talk to a specific thread in a server Björn Döbel
• 2014/05/07 How to talk to a specific thread in a server Yuxin Ren
• 2014/05/07 Re: Compile library in L4Linux ramdisk Adam Lackorzynski
• 2014/05/07 Re: What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ? Martin Schröder
• 2014/05/07 What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ? Taeung
• 2014/05/07 Compile library in L4Linux ramdisk Irvanda Kurniadi
• 2014/04/29 Re: How to enable 'CONFIG_COMMON_CLK' ? Taeung
• 2014/04/28 Re: How to enable 'CONFIG_COMMON_CLK' ? Adam Lackorzynski
• 2014/04/28 Re: L4Linux on amd64 arch Adam Lackorzynski
• 2014/04/28 How to enable 'CONFIG_COMMON_CLK' ? Taeung
• 2014/04/27 Re: L4Linux on amd64 arch Irvanda Kurniadi
• 2014/04/27 Re: L4Linux on amd64 arch Adam Lackorzynski
• 2014/04/27 Re: L4linux: cpu and core [comprehension question] Adam Lackorzynski
• 2014/04/26 L4Linux on amd64 arch Irvanda Kurniadi
• 2014/04/25 Re: L4Linux and L4Re communication Björn Döbel
• 2014/04/25 Re: L4Linux and L4Re communication Irvanda Kurniadi
• 2014/04/25 Re: build error: [kobject_mapdb.o] error Irvanda Kurniadi
• 2014/04/25 Re: L4Linux and L4Re communication Björn Döbel
• 2014/04/24 L4Linux and L4Re communication Irvanda Kurniadi
• 2014/04/24 Re: L4linux: cpu and core [comprehension question] Irvanda Kurniadi
• 2014/04/24 Re: L4linux: cpu and core [comprehension question] Adam Lackorzynski
• 2014/04/24 Re: Keyboard Input in L4Re Pandaboard ARM Adam Lackorzynski
• 2014/04/24 Re: Can you confirm whether or not I secure devices on L4 Linux ? Adam Lackorzynski
• 2014/04/24 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/24 Keyboard Input in L4Re Pandaboard ARM Erry Pradana Darajati
• 2014/04/24 L4linux: cpu and core [comprehension question] Irvanda Kurniadi
• 2014/04/23 Can you confirm whether or not I secure devices on L4 Linux ? Taeung
• 2014/04/23 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/04/23 Re: [Resend] Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ? Martin Schröder
• 2014/04/23 [Resend] Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ? Taeung
• 2014/04/23 Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ? Taeung
• 2014/04/23 Re: Fiasco.OC and qemu vexpress machine model Michele Paolino
• 2014/04/22 Re: build error: [kobject_mapdb.o] error Adam Lackorzynski
• 2014/04/22 Re: build error: [kobject_mapdb.o] error Irvanda Kurniadi
• 2014/04/22 Re: Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ? Adam Lackorzynski
• 2014/04/22 Re: build error: [kobject_mapdb.o] error Adam Lackorzynski
• 2014/04/22 Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ? Taeung
• 2014/04/21 build error: [kobject_mapdb.o] error Irvanda Kurniadi
• 2014/04/21 Re: How to secure Ethernet environment on L4 Linux ? Matthias Lange
• 2014/04/21 Re: How to change root device on L4 Linux ? Wei Jin
• 2014/04/21 Re: How to change root device on L4 Linux ? Taeung
• 2014/04/20 Re: How to secure Ethernet environment on L4 Linux ? Taeung
• 2014/04/19 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/18 Re: How to secure Ethernet environment on L4 Linux ? Matthias Lange
• 2014/04/18 Re: Re: How to secure Ethernet environment on L4 Linux ? Taeung
• 2014/04/17 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/17 Re: Fiasco.OC and qemu vexpress machine model Michele Paolino
• 2014/04/16 Re: Compiling packages for L4 kernel & patches Adam Lackorzynski
• 2014/04/16 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/16 Compiling packages for L4 kernel & patches Asus Ceaser
• 2014/04/16 Re: Fiasco.OC and qemu vexpress machine model Michele Paolino
• 2014/04/15 Re: 1 maximal supported CPUs Irvanda Kurniadi
• 2014/04/15 Re: 1 maximal supported CPUs Irvanda Kurniadi
• 2014/04/15 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/15 Re: 1 maximal supported CPUs Adam Lackorzynski
• 2014/04/15 Re: Fiasco.OC and qemu vexpress machine model Michele Paolino
• 2014/04/15 1 maximal supported CPUs Irvanda Kurniadi
• 2014/04/14 Re: Fiasco.OC and qemu vexpress machine model Adam Lackorzynski
• 2014/04/14 Re: How to secure Ethernet environment on L4 Linux ? Adam Lackorzynski
• 2014/04/14 Fiasco.OC and qemu vexpress machine model Michele Paolino
• 2014/04/10 How to secure Ethernet environment on L4 Linux ? Taeung
• 2014/04/09 Ankh Examples Ayad Mostafa
• 2014/04/08 Re: Ankh Examples Björn Döbel
• 2014/04/08 Ankh Examples Ayad Mostafa
• 2014/04/07 Ankh Examples Ayad Mostafa
• 2014/04/07 Re: Ankh Examples Björn Döbel
• 2014/04/07 Re: Ankh Examples Ayad Mostafa
• 2014/04/06 Re: newbie - trying to build Adam Lackorzynski
• 2014/04/06 Re: newbie - trying to build Jack Andrews
• 2014/04/06 Re: newbie - trying to build Björn Döbel
• 2014/04/06 Re: newbie - trying to build Jack Andrews
• 2014/04/06 Re: newbie - trying to build Marcus Hähnel
• 2014/04/06 newbie - trying to build Jack Andrews
• 2014/04/03 Re: std::cin in Fiasco/L4Re (with 'make qemu') Adam Lackorzynski
• 2014/04/03 Re: step forward on compilation Adam Lackorzynski
• 2014/04/03 Re: Ankh Examples Adam Lackorzynski
• 2014/04/03 Re: L4Re + ARM Adam Lackorzynski
• 2014/04/03 [Correction] Can't Fiasco.OC support multi-core-processor ? Taeung
• 2014/04/03 Can't Fiasco.OC support multi-core-processor ? Taeung
• 2014/04/02 Re: std::cin in Fiasco/L4Re (with 'make qemu') Björn Döbel
• 2014/04/02 Re: std::cin in Fiasco/L4Re (with 'make qemu') Emanuel Berg
• 2014/04/02 Re: step forward on compilation Emanuel Berg
• 2014/04/02 Re: std::cin in Fiasco/L4Re (with 'make qemu') Emanuel Berg
• 2014/04/02 Re: step forward on compilation Emanuel Berg
• 2014/04/02 Ankh Examples Ayad Mostafa
• 2014/04/02 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/04/02 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/04/02 Re: std::cin in Fiasco/L4Re (with 'make qemu') Adam Lackorzynski
• 2014/04/02 Re: step forward on compilation Adam Lackorzynski
• 2014/04/02 Re: step forward on compilation Matthias Lange
• 2014/04/01 Re: std::cin in Fiasco/L4Re (with 'make qemu') Emanuel Berg
• 2014/04/01 Re: step forward on compilation Emanuel Berg
• 2014/04/01 Re: std::cin in Fiasco/L4Re (with 'make qemu') Emanuel Berg
• 2014/04/01 Re: std::cin in Fiasco/L4Re (with 'make qemu') Adam Lackorzynski
• 2014/04/01 Re: step forward on compilation Adam Lackorzynski
• 2014/04/01 Re: L4Re + ARM Adam Lackorzynski
• 2014/04/01 Re: Ankh Examples Adam Lackorzynski
• 2014/04/01 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/04/01 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/04/01 Re: How to change root device on L4 Linux ? Matthias Lange
• 2014/04/01 How to change root device on L4 Linux ? Taeung
• 2014/03/31 std::cin in Fiasco/L4Re (with 'make qemu') Emanuel Berg
• 2014/03/31 Re: step forward on compilation Emanuel Berg
• 2014/03/31 Re: Custom ramdisk Adam Lackorzynski
• 2014/03/31 Re: L4Re + ARM Adam Lackorzynski
• 2014/03/31 Re: Custom ramdisk Tim Komarov
• 2014/03/31 Re: Custom ramdisk Adam Lackorzynski
• 2014/03/31 Re: L4Re + ARM Alexis Fajardo Moya
• 2014/03/31 Custom ramdisk Tim Komarov
• 2014/03/31 L4Re + ARM Waldo
• 2014/03/31 Re: L4Linux + Ubuntu Matthias Lange
• 2014/03/31 Re: step forward on compilation Björn Döbel
• 2014/03/31 step forward on compilation Emanuel Berg
• 2014/03/31 Ankh Examples Ayad Mostafa
• 2014/03/30 L4Linux + Ubuntu Sai Prajeeth
• 2014/03/28 Re: I share attached this guide with you. Ahmed Ammar
• 2014/03/27 Re: I share attached this guide with you. Adam Lackorzynski
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Matthias Lange
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Alexis Fajardo Moya
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Alexis Fajardo Moya
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Matthias Lange
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Alexis Fajardo Moya
• 2014/03/27 Re: Have you modified L4 Kernel command line ? Matthias Lange
• 2014/03/27 Re: hello/l4/fiasco.oc for realview pbxa9 Matthias Lange
• 2014/03/27 Have you modified L4 Kernel command line ? Taeung
• 2014/03/26 hello/l4/fiasco.oc for realview pbxa9 Alexis Fajardo Moya
• 2014/03/25 Re: Compiling L4Linux for Pandaboard ARM Error Matthias Lange
• 2014/03/25 Re: Can use other root file system instead of ramdisk(ramdisk-arm.rd) ? Matthias Lange
• 2014/03/25 Can use other root file system instead of ramdisk(ramdisk-arm.rd) ? Taeung
• 2014/03/25 Compiling L4Linux for Pandaboard ARM Error Erry Pradana Darajati
• 2014/03/24 Re: Is wrong my kernel command line, on this situation ? (Booting L4 linux) Tim Komarov
• 2014/03/24 Re: l4linux Taeung
• 2014/03/24 Do L4 Linux lack source code about Freescale i.MX6 Quad ? Taeung
• 2014/03/24 Is wrong my kernel command line, on this situation ? (Booting L4 linux) Taeung
• 2014/03/23 Re: Can you tell me function name that means 'Entry Point: 0x11000000' ? Taeung
• 2014/03/23 Re: Can you tell me function name that means 'Entry Point: 0x11000000' ? Ahmed Ammar
• 2014/03/23 Re: Can you tell me function name that means 'Entry Point: 0x11000000' ? Taeung
• 2014/03/23 Re: Fwd: Can you tell me function name that means 'Entry Point: 0x11000000' ? Sebastian Sumpf
• 2014/03/23 Fwd: Can you tell me function name that means 'Entry Point: 0x11000000' ? TaeWoong Song
• 2014/03/22 Re: Can you tell me function name that means 'Entry Point: 0x11000000' ? Ahmed Ammar
• 2014/03/21 Re: Can you tell me function name that means 'Entry Point: 0x11000000' ? Matthias Lange
• 2014/03/21 Re: compile l4re for arm Matthias Lange
• 2014/03/21 Re: compile l4re for arm Alexis Fajardo Moya
• 2014/03/21 Google Summer of Code - DEADLINE IS TODAY! Crypto Stick
• 2014/03/21 Re: compile l4re for arm Matthias Lange
• 2014/03/21 compile l4re for arm Waldo
• 2014/03/21 Can you tell me function name that means 'Entry Point: 0x11000000' ? Taeung
• 2014/03/19 Re: L4 Fiasco's scheduling in Multi-Core Waldo
• 2014/03/19 Re: L4 Fiasco's scheduling in Multi-Core Björn Döbel
• 2014/03/19 L4 Fiasco's scheduling in Multi-Core Ganis Zulfa Santoso
• 2014/03/18 Re: compiling L4RE for ARM Matthias Lange
• 2014/03/18 compiling L4RE for ARM Waldo
• 2014/03/17 I was not able to run "Hello world" on my board(imx6). taeung
• 2014/03/17 Re: In Freescale i.MX6q_sabre_sd, The problem booting Helloworld + L4 + Fiasco Tim Komarov
• 2014/03/17 Fwd: In Freescale i.MX6q_sabre_sd,The problem booting Helloworld + L4 + Fiasco taeung
• 2014/03/17 In Freescale i.MX6q_sabre_sd,The problem booting Helloworld + L4 + Fiasco taeung
• 2014/03/17 Re: L4Linux + L4re + Fiasco to boot in Freescale i.MX6q_sabre_sd Tim Komarov
• 2014/03/17 L4Linux + L4re + Fiasco to boot in Freescale i.MX6q_sabre_sd taeung
• 2014/03/13 Re: Problem in Linking program Matthias Lange
• 2014/03/13 Re: Problem in Linking program Irvanda Kurniadi
• 2014/03/11 Problem in Linking program Irvanda Kurniadi

• Earlier messages
• Later messages