2015 Archives by author

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

Starting: Sun Jan 4 13:05:40 CET 2015
Ending: Thu Dec 31 17:02:00 CET 2015
Messages: 590

• Booting error of L4Linux enabled SMP surpport   Xiefeng (Stephen)
• Booting error of L4Linux enabled SMP surpport   Xiefeng (Stephen)
• Booting error of L4Linux enabled SMP surpport   Xiefeng (Stephen)
• Porting Fiasco.OC to RISC-V - Questions   Hesham ALMatary
• Porting Fiasco.OC to RISC-V - Questions   Hesham ALMatary
• issues in building l4re   AVK
• issues in building l4re   AVK
• issues in building l4re   AVK
• issues in creating an elf binary   AVK
• issues in creating an elf binary   AVK
• using math lua module   AVK
• L4Linux interface to convert physical address to machine address   Olujide Adeola
• TrustZone example on i.MX6   Markku Ahvenjärvi
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Mahdi Aichouch
• Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Using a second Ethernet connector in L4Linux   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Debugging Fiasco OC + L4Re + L4Linux together   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Error when building L4RE   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Sharing one ethernet network device between two L4Linux instances   Mahdi Aichouch
• Sharing one ethernet network device between two L4Linux instances   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Sharing one ethernet network device between two L4Linux instances   Mahdi Aichouch
• Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821)   Mahdi Aichouch
• Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821)   Mahdi Aichouch
• Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board.   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• Question about memory management in L4 Fiasco O.C + L4re   Mahdi Aichouch
• UX/RT - a Universally eXtensible Real-Time OS   Nils Asmussen
• UX/RT - a Universally eXtensible Real-Time OS   Nils Asmussen
• Makefile in l4re   Harini Balachandran
• Mounting l4linux ramdisk   Harini Balachandran
• Problem with executing a binary on l4linux   Harini Balachandran
• seL4 and mysql   André Bispo
• L4Re Hello World Qemu vs Hardware   André Bispo
• Fiasco.OC-UX and recent Linux kernels   Paul Boddie
• Fiasco.OC-UX and recent Linux kernels   Paul Boddie
• L4Re Update   Johan Dams
• Static_object::construct   Janis Danisevskis
• [Out-Of-Topic]How to Access Input GPIO of OMAP4460 without L4Re (direct access)   Erry Pradana Darajati
• Microkernel Meetup   Bjoern Doebel
• Microkernel Meetup   Bjoern Doebel
• l4io_request_iomem() destroyes ioStream   Björn Döbel
• build system library path   Björn Döbel
• Bash-script with l4re-App   Björn Döbel
• Device Driver Terminology   Björn Döbel
• Bash-script with l4re-App   Björn Döbel
• PROBLEM WHILE GETTING INPUT IN RUNTIME   Björn Döbel
• CLIENT SERVER COMMUNICATION   Björn Döbel
• L4LINUX   Björn Döbel
• ERROR WHILE INSTALLING L4RE   Björn Döbel
• How to run an application on l4linux   Björn Döbel
• dde kit   Björn Döbel
• dde kit   Björn Döbel
• Running a task without region manager   Björn Döbel
• Checkpoint/Restore on L4Re   Björn Döbel
• the editor for Fiasco.OC   Björn Döbel
• the implemention of l4_ipc_send   Björn Döbel
• microkernel as an instance in oracle virtual box   Björn Döbel
• Microkernel Meetup   Björn Döbel
• Microkernel Meetup   Björn Döbel
• build system library path   teclis High Elf
• Device Driver Terminology   teclis High Elf
• User-level objects   teclis High Elf
• kobject kinvoke from ned   teclis High Elf
• kobject kinvoke from ned   teclis High Elf
• Blocking Read   teclis High Elf
• Disable log color   teclis High Elf
• Disable log color   teclis High Elf
• How to do quickly in order to starting fiasco with a console shell?   teclis High Elf
• IPC stream magic   teclis High Elf
• How to do quickly in order to starting fiasco with a console shell?   teclis High Elf
• Using a second UART to control a serial device   teclis High Elf
• Open source development   teclis High Elf
• Fiasco.OC device driver   Shabnam Engineer
• porting linux driver in Fiasco.OC   Shabnam Engineer
• porting linux driver in Fiasco.OC   Shabnam Engineer
• make error   Shabnam Engineer
• make error   Shabnam Engineer
• make uimage error   Shabnam Engineer
• make uimage error   Shabnam Engineer
• make uimage error   Shabnam Engineer
• l4linux building error   Shabnam Engineer
• make uimage error   Shabnam Engineer
• make uimage error   Shabnam Engineer
• Help with RaspberryPI USB on Fiasco.OC+Genode   Norman Feske
• porting linux driver in Fiasco.OC   Jorge Alberto Garcia
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Le Guan
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Le Guan
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Le Guan
• Denial of service in microkernel   Nicholas Mc Guire
• Device Driver Terminology   Gernot Heiser
• Help to measure the Fiasco.OC's real-time capabilities   Gernot Heiser
• Hiring engineers for seL4 work   Gernot Heiser
• Source Code of the Monitoring Frameworks FERRET and HAECER   Marcus Hähnel
• l4linux boot problem   Marcus Hähnel
• Linux boot problem   Marcus Hähnel
• Problem with executing a binary on l4linux   Marcus Hähnel
• Qt on L4   Marcus Hähnel
• Reminder: Microkernel-devroom CfP deadline is on this Sunday   Jakub Jermar
• Implementing a few real time scheduling algorithms on Fiasco.OC   Biermans Joeri
• Thread monitoring   Biermans Joeri
• Qt on L4   Nancy Joshua
• dde kit   Daniel Krefft
• dde kit   Daniel Krefft
• Implementing a few real time scheduling algorithms on Fiasco.OC   Daniel Krefft
• How to Install L4Re   Jerry L
• Iostream and string in L4Re   Adam Lackorzynski
• TrustZone example on i.MX6   Adam Lackorzynski
• L4Android on Pandaboard   Adam Lackorzynski
• TrustZone example on i.MX6   Adam Lackorzynski
• Flexpage example?   Adam Lackorzynski
• Running l4android on cubieboard2   Adam Lackorzynski
• Source Code of the Monitoring Frameworks FERRET and HAECER   Adam Lackorzynski
• Running l4android on cubieboard2   Adam Lackorzynski
• Running l4android on cubieboard2   Adam Lackorzynski
• Compare security of normal OS and Fiasco.oc with L4re   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• kobject kinvoke from ned   Adam Lackorzynski
• SOCKET PROGRAMMING IN L4RE   Adam Lackorzynski
• Makefile in l4re   Adam Lackorzynski
• l4linux boot failed   Adam Lackorzynski
• Problem Launching L4Linux   Adam Lackorzynski
• Problem Launching L4Linux   Adam Lackorzynski
• Profiling/Runtime Monitoring in Fiasco.OC and L4Re   Adam Lackorzynski
• Getting dataspace of a tmpfs-file blocks forever   Adam Lackorzynski
• Running the FERRET Examples   Adam Lackorzynski
• testing tools   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• Problem Launching L4Linux   Adam Lackorzynski
• Problem Launching L4Linux   Adam Lackorzynski
• Blocking Read   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• seL4 and mysql   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• Porting Fiasco.OC to RISC-V - Questions   Adam Lackorzynski
• Porting Fiasco.OC to RISC-V - Questions   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• Disable log color   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• Moe::Boot_fs::init_stage1()   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• ARM with Qemu   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• your mail   Adam Lackorzynski
• Fiasco testcase And L4RE API   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• about ".initcall.text" and ".initcall.data"   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• Question about L4/Fiasco running the kernel with interrupts disable   Adam Lackorzynski
• How to do quickly in order to starting fiasco with a console shell?   Adam Lackorzynski
• IPC stream magic   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• How to track execution process of fiasco user mode applications£¿   Adam Lackorzynski
• the ldscripts of L4Re   Adam Lackorzynski
• How to compile the fiasco kernel test directory?   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• How to do quickly in order to starting fiasco with a console shell?   Adam Lackorzynski
• How to compile the fiasco kernel test directory?   Adam Lackorzynski
• How L4Linux Linked the header file?   Adam Lackorzynski
• Static_object in fiasco kernel   Adam Lackorzynski
• Using a second UART to control a serial device   Adam Lackorzynski
• How L4Linux Linked the header file?   Adam Lackorzynski
• How to solve the problem about multiple definition of clk_enable?   Adam Lackorzynski
• the first instruction in entry_sys_fast_ipc_c   Adam Lackorzynski
• about sysenter   Adam Lackorzynski
• the syscall stack frame and Context::regs method   Adam Lackorzynski
• context::regs   Adam Lackorzynski
• Using a second UART to control a serial device   Adam Lackorzynski
• Experimenting the vm-tz example on the Freescale i.mx6 SDB   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Using a second UART to control a serial device   Adam Lackorzynski
• Using a second UART to control a serial device   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Fiasco & L4 boot performance   Adam Lackorzynski
• Fiasco.OC-UX and recent Linux kernels   Adam Lackorzynski
• Utcb in syscall   Adam Lackorzynski
• the Thread::do_ipc's parameter   Adam Lackorzynski
• anything wrong when call Thread::do_ipc?   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• question about file mapping   Adam Lackorzynski
• Question about RCU subsystem in Fiasco kernel.   Adam Lackorzynski
• Question about ext2 in Fiasco/L4re   Adam Lackorzynski
• Booting error in L4android for Exynos 5250.   Adam Lackorzynski
• l4-hackers Digest, Vol 145, Issue 7   Adam Lackorzynski
• Does Fiasco support floating point?   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Kobject_h::invoke   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• Booting error in L4android for Exynos 5250.   Adam Lackorzynski
• Booting error in L4android for Exynos 5250.   Adam Lackorzynski
• Booting error of L4Linux enabled SMP surpport   Adam Lackorzynski
• How to write a driver for ARM platform   Adam Lackorzynski
• Thread monitoring   Adam Lackorzynski
• Debugging Fiasco OC + L4Re + L4Linux together   Adam Lackorzynski
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Increase IPC-Stream size   Adam Lackorzynski
• dlopen()   Adam Lackorzynski
• why fiasco use -fno-rtti compile option?   Adam Lackorzynski
• why fiasco use -fno-rtti compile option?   Adam Lackorzynski
• question about libgcc, libspuc++ in the l4re   Adam Lackorzynski
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Adam Lackorzynski
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Adam Lackorzynski
• Open source development   Adam Lackorzynski
• how does Fiasco achieve C++ support   Adam Lackorzynski
• how does Fiasco achieve C++ support   Adam Lackorzynski
• how does Fiasco achieve C++ support   Adam Lackorzynski
• how does Fiasco achieve C++ support   Adam Lackorzynski
• Difficulty Booting L4RE on Raspberry Pi   Adam Lackorzynski
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Adam Lackorzynski
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Adam Lackorzynski
• dlopen()   Adam Lackorzynski
• how does Fiasco achieve C++ support   Adam Lackorzynski
• Problem in final step   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Some questions about L4 operating system   Adam Lackorzynski
• Some questions about L4 operating system   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• issues in building l4re   Adam Lackorzynski
• Adding more functionality on top of L4Linux   Adam Lackorzynski
• Adding more functionality on top of L4Linux   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Fiasco.OC device driver   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• issues in creating an elf binary   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• porting linux driver in Fiasco.OC   Adam Lackorzynski
• issues in creating an elf binary   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• L4Re: unhandled exception while building Fiasco.OC-L4Re for ARM platform   Adam Lackorzynski
• L4Linux interface to convert physical address to machine address   Adam Lackorzynski
• porting linux driver in Fiasco.OC   Adam Lackorzynski
• porting linux driver in Fiasco.OC   Adam Lackorzynski
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Adam Lackorzynski
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Adam Lackorzynski
• using math lua module   Adam Lackorzynski
• Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"   Adam Lackorzynski
• l4-hackers Digest, Vol 148, Issue 3   Adam Lackorzynski
• Question about JDB in Fiasco   Adam Lackorzynski
• make uimage error   Adam Lackorzynski
• make uimage error   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• make uimage error   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• l4linux building error   Adam Lackorzynski
• Error when building L4RE   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• make clean (really!)   Adam Lackorzynski
• make clean (really!)   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• make clean (really!)   Adam Lackorzynski
• U-Boot version issue   Adam Lackorzynski
• U-Boot version issue   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• How is network stack implemented in Fiasco/l4Re   Adam Lackorzynski
• How is network stack implemented in Fiasco/l4Re   Adam Lackorzynski
• Problem when testing the "ex_isr" example on an ARMv7 Cortex-A9 based board.   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• L4Linux update? Driver support   Adam Lackorzynski
• L4Re halts at boot, waiting for console input   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• real time app on l4linux   Adam Lackorzynski
• real time app on l4linux   Adam Lackorzynski
• Problem with Hello app on Zedboard   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Question about memory management in L4 Fiasco O.C + L4re   Adam Lackorzynski
• Serial console not working   Adam Lackorzynski
• Performance of L4   Adam Lackorzynski
• L4Re Update   Adam Lackorzynski
• PF_RING installation on l4re   Vidya Lakshmi
• executing snort(IDS)on l4 linux   Vidya Lakshmi
• L4Re GPIO   Matthias Lange
• PF_RING installation on l4re   Matthias Lange
• Problem with running client-server application in l4re   Matthias Lange
• Is anyone has experience with pandaboard omap4460？   Matthias Lange
• L4linux build problem   Matthias Lange
• executing snort(IDS)on l4 linux   Matthias Lange
• Running l4android on cubieboard2   Matthias Lange
• Is anyone has experience with pandaboard omap4460？   Matthias Lange
• Clock/Power Management Framework on L4   Matthias Lange
• SERVICES   Matthias Lange
• kobject kinvoke from ned   Matthias Lange
• [Out-Of-Topic]How to Access Input GPIO of OMAP4460 without L4Re (direct access)   Matthias Lange
• Problem with Socket program   Matthias Lange
• Problem with L4linux   Matthias Lange
• Linux boot problem   Matthias Lange
• How to run an application on l4linux   Matthias Lange
• Mounting l4linux ramdisk   Matthias Lange
• Running l4android on cubieboard2   Matthias Lange
• How to Install L4Re   Matthias Lange
• Problem with socket program on l4linux   Matthias Lange
• Ram size of the arm images   Matthias Lange
• Ethernet on l4linux   Matthias Lange
• Troubles testing UART3 on Exynos5   Matthias Lange
• no such object found: rom/l4re backtrace   Matthias Lange
• 回复： no such object found: rom/l4re backtrace   Matthias Lange
• how to get the log from serial   Matthias Lange
• Where could i found the class implemention   Matthias Lange
• Disable log color   Matthias Lange
• add new package   Matthias Lange
• L4Re Hello World Qemu vs Hardware   Matthias Lange
• Support for Raspberry Pi 2 B and/or Odroid C1   Matthias Lange
• L4 and Lua interaction   Matthias Lange
• mmu in bootstrap   Matthias Lange
• where is the call_bootstrap?   Matthias Lange
• Does Fiasco support floating point?   Matthias Lange
• How to write a driver for ARM platform   Matthias Lange
• Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Matthias Lange
• Increase IPC-Stream size   Matthias Lange
• Boot L4Linux Error   Matthias Lange
• Booting error of L4Linux enabled SMP surpport   Matthias Lange
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Matthias Lange
• Cann't access git://git.l4android.org/build_script.git   Matthias Lange
• Increase IPC-Stream size   Matthias Lange
• Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD   Matthias Lange
• Using a second Ethernet connector in L4Linux   Matthias Lange
• porting linux driver in Fiasco.OC   Matthias Lange
• make error   Matthias Lange
• make error   Matthias Lange
• make uimage error   Matthias Lange
• make uimage error   Matthias Lange
• U-Boot version issue   Matthias Lange
• Sharing one ethernet network device between two L4Linux instances   Matthias Lange
• Application on top of L4re   Matthias Lange
• Application on top of L4re   Matthias Lange
• L4Android on Pandaboard   Lin
• Difficulty Booting L4RE on Raspberry Pi   Robert Lowe
• Problem with running client-server application in l4re   Gayathri Nagarajan
• Compare security of normal OS and Fiasco.oc with L4re   Gayathri Nagarajan
• L4linux build problem   Gayathri Nagarajan
• client server communication   Gayathri Nagarajan
• Problem with Socket program   Gayathri Nagarajan
• Problem with L4linux   Gayathri Nagarajan
• l4linux boot problem   Gayathri Nagarajan
• Linux boot problem   Gayathri Nagarajan
• How to run an application on l4linux   Gayathri Nagarajan
• Problem with socket program on l4linux   Gayathri Nagarajan
• Ethernet on l4linux   Gayathri Nagarajan
• microkernel as an instance in oracle virtual box   Gayathri Nagarajan
• Denial of service in microkernel   Gayathri Nagarajan
• QT on L4re   Nancy
• Using a second UART to control a serial device   Pflaum, Clemens
• Using a second UART to control a serial device   Pflaum, Clemens
• Using a second UART to control a serial device   Pflaum, Clemens
• Using a second UART to control a serial device   Pflaum, Clemens
• Using a second UART to control a serial device   Pflaum, Clemens
• Using a second UART to control a serial device   Pflaum, Clemens
• Problem Launching L4Linux   Piweli
• Problem Launching L4Linux   Piweli
• Source Code of the Monitoring Frameworks FERRET and HAECER   Martin Pohlack
• Fiasco & L4 boot performance   Arttu Pulli
• L4Re halts at boot, waiting for console input   Arttu Pulli
• Clock/Power Management Framework on L4   Li Qiu
• Problem with Hello app on Zedboard   Manolis Ragkousis
• PROBLEM WHILE GETTING INPUT IN RUNTIME   Sushma Rao
• CLIENT SERVER COMMUNICATION   Sushma Rao
• L4LINUX   Sushma Rao
• SERVICES   Sushma Rao
• ERROR WHILE INSTALLING L4RE   Sushma Rao
• SOCKET PROGRAMMING IN L4RE   Sushma Rao
• No subject   Yuxin Ren
• about Ram_quota   Yuxin Ren
• Does Fiasco support floating point?   Yuxin Ren
• why fiasco use -fno-rtti compile option?   Yuxin Ren
• question about libgcc, libspuc++ in the l4re   Yuxin Ren
• how does Fiasco achieve C++ support   Yuxin Ren
• how does Fiasco achieve C++ support   Yuxin Ren
• how does Fiasco achieve C++ support   Yuxin Ren
• how does Fiasco achieve C++ support   Yuxin Ren
• how does Fiasco achieve C++ support   Yuxin Ren
• Some questions about L4 operating system   Yuxin Ren
• Application on top of L4re   Yuxin Ren
• Application on top of L4re   Yuxin Ren
• How is network stack implemented in Fiasco/l4Re   Yuxin Ren
• How is network stack implemented in Fiasco/l4Re   Yuxin Ren
• testing tools   Waldo Paz Rodriguez
• Implementing a few real time scheduling algorithms on Fiasco.OC   Vasily A. Sartakov
• [Out-Of-Topic]How to Access Input GPIO of OMAP4460 without L4Re (direct access)   Martin Schröder
• Disable log color   Martin Schröder
• make uimage error   Martin Schröder
• make uimage error   Martin Schröder
• BSP support - UART   Martin Schröder
• Sharing one ethernet network device between two L4Linux instances   Martin Schröder
• Sharing one ethernet network device between two L4Linux instances   Martin Schröder
• Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821)   Martin Schröder
• L4Re: unhandled exception while building Fiasco.OC-L4Re for ARM platform   Raja Sekhar
• l4-hackers Digest, Vol 148, Issue 3   Raja Sekhar
• How L4Linux Linked the header file?   Youren Shen
• How L4Linux Linked the header file?   Youren Shen
• How L4Linux Linked the header file?   Youren Shen
• How to solve the problem about multiple definition of clk_enable?   Youren Shen
• Booting error in L4android for Exynos 5250.   Youren Shen
• Booting error in L4android for Exynos 5250.   Youren Shen
• Booting error in L4android for Exynos 5250.   Youren Shen
• Problem in final step   Vlad Sof
• Problem with Socket program in l4linux   TaeWoong Song
• Performance of L4   Patrick Staeblein
• libfs/ FUSE on L4Re   Stark, Josef
• Getting dataspace of a tmpfs-file blocks forever   Stark, Josef
• shared dataspace for l4re_kernel/ registering additional caps in ned   Stark, Josef
• shared dataspace for l4re_kernel/ registering additional caps in ned   Stark, Josef
• Networking issues (ankh/lwip/drivers/?)   Stark, Josef
• Running a task without region manager   Stark, Josef
• Checkpoint/Restore on L4Re   Stark, Josef
• Running a task without region manager   Stark, Josef
• Using multiple NICs within one application   Stark, Josef
• 1st Microkernel Stammtisch 2015   Julian Stecklina
• Source Code of the Monitoring Frameworks FERRET and HAECER   Karl Steger
• Running the FERRET Examples   Karl Steger
• Profiling/Runtime Monitoring in Fiasco.OC and L4Re   "Patrick Stäblein"
• Troubles testing UART3 on Exynos5   Reinier Millo Sánchez
• Help with RaspberryPI USB on Fiasco.OC+Genode   Reinier Millo Sánchez
• Help to measure the Fiasco.OC's real-time capabilities   Reinier Millo Sánchez
• Using a second UART to control a serial device   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• l4-hackers Digest, Vol 145, Issue 7   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)   Reinier Millo Sánchez
• Adding more functionality on top of L4Linux   Thotheolh Tay
• Adding more functionality on top of L4Linux   Thotheolh Tay
• l4linux boot failed   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• ARM with Qemu   Nicolas VARONA
• Serial console not working   Lluís Vilanova
• Serial console not working   Lluís Vilanova
• Serial console not working   Lluís Vilanova
• the kernel's output   Marcus Völp
• UX/RT - a Universally eXtensible Real-Time OS   Andrew Warkentin
• UX/RT - a Universally eXtensible Real-Time OS   Andrew Warkentin
• UX/RT - a Universally eXtensible Real-Time OS   Andrew Warkentin
• Some questions about L4 operating system   Qing Wei
• How to compile the fiasco kernel test directory?   Liu Xiaodong
• How to compile the fiasco kernel test directory?   Liu Xiaodong
• Is anyone has experience with pandaboard omap4460？   Zachary
• Is anyone has experience with pandaboard omap4460？   Zachary
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Fwd: Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Running l4android on cubieboard2   cem akpolat
• Ram size of the arm images   cem akpolat
• real time app on l4linux   cem akpolat
• real time app on l4linux   cem akpolat
• l4io_request_iomem() destroyes ioStream   ba_f
• Flexpage example?   ba_f
• Bash-script with l4re-App   ba_f
• Increase IPC-Stream size   ba_f
• ERROR WHILE INSTALLING L4RE   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• Increase IPC-Stream size   ba_f
• dlopen()   ba_f
• dlopen()   ba_f
• make clean (really!)   ba_f
• make clean (really!)   ba_f
• make clean (really!)   ba_f
• U-Boot version issue   ba_f
• make clean (really!)   ba_f
• U-Boot version issue   ba_f
• BSP support - UART   ba_f
• BSP support - UART   ba_f
• U-Boot version issue   ba_f
• Application on top of L4re   ba_f
• L4Linux update? Driver support   ba_f
• L4Linux update? Driver support   ba_f
• L4Linux update? Driver support   ba_f
• L4Linux update? Driver support   ba_f
• Support for Raspberry Pi 2 B and/or Odroid C1   daniel krefft
• L4 and Lua interaction   daniel krefft
• Problem Launching L4Linux   Piwe li
• Problem Launching L4Linux   Piwe li
• L4Linux update? Driver support   li94575
• L4Linux update? Driver support   li94575
• L4Linux update? Driver support   li94575
• How to write a driver for ARM platform   qxjsjjjz
• CLIENT SERVER COMMUNICATION   sushma rao
• porting linux driver in Fiasco.OC   shabnam
• Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.   taeung
• is there any step by step document?   taeung
• Problem with Socket program in l4linux   taeung
• Ethernet on l4linux   taeung
• the first instruction in entry_sys_fast_ipc_c   watermirror
• about sysenter   watermirror
• the syscall stack frame and Context::regs method   watermirror
• context::regs   watermirror
• about Ram_quota   watermirror
• Static_object::construct   watermirror
• Utcb in syscall   watermirror
• the Thread::do_ipc's parameter   watermirror
• anything wrong when call Thread::do_ipc?   watermirror
• Kobject_h::invoke   watermirror
• the editor for Fiasco.OC   cui.yunfeng at zte.com.cn
• Fiasco testcase And L4RE API   cui.yunfeng at zte.com.cn
• Question about L4/Fiasco running the kernel with interrupts disable   cui.yunfeng at zte.com.cn
• Question about L4/Fiasco running the kernel with interrupts disable   deng.chao1 at zte.com.cn
• No subject   deng.chao1 at zte.com.cn
• Question about RCU subsystem in Fiasco kernel.   deng.chao1 at zte.com.cn
• why fiasco use -fno-rtti compile option?   liu.xiaodong2 at zte.com.cn
• question about file mapping   yang.wei9 at zte.com.cn
• Question about ext2 in Fiasco/L4re   yang.wei9 at zte.com.cn
• Question about JDB in Fiasco   yang.wei9 at zte.com.cn
• No subject   zhou.li9 at zte.com.cn
• How to do quickly in order to starting fiasco with a console shell?   zhou.li9 at zte.com.cn
• How to track execution process of fiasco user mode applications？   zhou.li9 at zte.com.cn
• Boot L4Linux Error   刘海剑
• Cann't access git://git.l4android.org/build_script.git   刘海剑
• is there any step by step document?   水镜
• no such object found: rom/l4re backtrace   水镜
• 回复： no such object found: rom/l4re backtrace   水镜
• Where could i found the class implemention   水镜
• how to get the log from serial   水镜
• add new package   水镜
• Moe::Boot_fs::init_stage1()   水镜
• the implemention of l4_ipc_send   水镜
• about ".initcall.text" and ".initcall.data"   水镜
• the ldscripts of L4Re   水镜
• mmu in bootstrap   水镜
• the kernel's output   水镜
• Static_object in fiasco kernel   水镜
• where is the call_bootstrap?   水镜

Last message date: Thu Dec 31 17:02:00 CET 2015
Archived on: Tue Apr 13 12:03:57 CEST 2021

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