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