2015 Archives by author
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
This archive was generated by
Pipermail 0.09 (Mailman edition).