2013 Archives by thread
Starting: Wed Jan 9 07:08:44 CET 2013
Ending: Sat Dec 21 02:09:26 CET 2013
Messages: 452
- Kernel unit tests
Bryce Cronkite-Ratcliff
- accessing msrs
Ryan Brown
- Fiasco.OC performance issues
Sebastian Sumpf
- About java support on L4linux
Wajidali Whowe
- Error during the "ned" package build (svn revision 42)
ggasnier31 at free.fr
- Launching NOVA on QEMU
oleg
- Fiasco.OC interrupt handling
Daniel Waddington
- [OT] Berlin based Trust2Core GmbH searching for L4 developers
Michael Voigt
- Fiasco.OC: question regarding l4_ipc_wait() and l4_ipc_reply_and_ipc_wait().
Сергей Грехов
- About JDB non-interactive commands
Евгений Федотов
- Debug: how to enumerate all kernel objects
Евгений Федотов
- Using l4re in loadable modules of L4Linux
Haohui Mai
- How to add EXYNOS platform support
Chao-Jui Chang
- FYI: Visions on Genode OS development
Christian Helmuth
- memory problem for s5pv210 porting
meng-qy
- [ARM11] Question for the ARM 11 GPIO MAPPING
Jason.han
- Genode OS Framework version 13.02 released
Sebastian Sumpf
- How to start a program in a application ?
Jason.han
- memory problem about s5pv210 porting
meng-qy
- How to compiler DROPS
fiasco
- boot image
fiasco
- Question regarding the "Jdb::handle_user_request()' function
Christian Prochaska
- how to compiler
fiasco
- how to config L4Linux and Fiasco to access TCP/IP
Jian Liu
- Merging sigma0 and roottask
Norman Feske
- repomgr log
Jack Andrews
- Question regarding L4_err class usage in method commit_result.
Sergey Grekhov
- [Fiasco.OC] Desctruction of objects created by factory
Sergey Grekhov
- how to debug fiasco kernel
Keqin Sun
- How to start 2 or more VMs
Chao-Jui Chang
- L4android mlock on vectors page causes unresolvable page fault
Matthias Petschick
- How to access SD card on ARM board
Chao-Jui Chang
- compile l4 source files: idl-parser-driver.hh:62:1: error
yuqing wang
- Ring 0 task
Daniel Waddington - SISA
- RCU performance
Christian Prochaska
- ptrace
Ryan Brown
- Question about L4/Fiasco
Samir Boulhram
- l4re compilation order
gaober
- l4linux and sysenter
Ryan Brown
- does the driver directly operate the device?
gaober
- How to start new program in interactive way
Chao-Jui Chang
- fiasco r52 on beagleboard xm
Sin-ta Hsiea
- Fiasco.OC with ARM TrustZone
Chao-Jui Chang
- Questions about Fiasco.OC and L4Re
BogDan
- Building l4re packages and linking errors
Bryce Cronkite-Ratcliff
- How to boot Fiasco microkernel on raspberry pi
Rahul Singhal
- L4Re: FATAL: Exception Operation not permitted: ''"
Maximin Coste
- sigma0 memory space
joel at nider.org
- Kernel debugger in MP mode causes double fault
Markus Partheymueller
- All *.cpp files are ignored by Makefile
BogDan
- Can't use cxx::Thread
BogDan
- How to catch unhandled exceptions ?
BogDan
- Region overflow in bootstrap
Markus Partheymueller
- Hello scenario gets stuck
Markus Partheymueller
- target CPU does not support ARM mode
Maximin Coste
- arm-linux-ld not found while compiling l4-fiasco microkernel
Rahul Singhal
- Task threads are not killed at exit
BogDan
- How Fiasco reclaim task resources when the task exits (abnormally) ?
BogDan
- <http://l4ka.org/> down?
Thomas Schwinge
- Unable to boot 64bit hello
Daniel Müller
- How to make task run on different cores?
Chao-Jui Chang
- Program development for L4Re
Rahul Singhal
- How to run simple client server example
Thang Tran
- 15th Real Time Linux Workshop - Call for Papers
Nicholas Mc Guire
- Thought you'd find this interesting
Rahul Singhal
- A interprocess communication system for two l4linux instances
Wajidali Whowe
- Help needed
vijay kumar godavarthy
- x86_fb-example
Rudolf Weber
- l4linux: l4x_setup_memory:Cant get main memory
Rudolf Weber
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Alexander Boettcher
- NOVA, NUL, snapshotting
Udo Steinberg
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Udo Steinberg
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Udo Steinberg
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Julian Stecklina
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Julian Stecklina
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Julian Stecklina
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- Launch of L4Linux
Maximin Coste
- Problem with setting up namespaces
Johannes Schlatow
- Fiasco.OC Kernel memory running out (I think)
Daniel Waddington
- Getting fiasco-ux to exit after moe's init process terminates
John Millikin
- Build errors with L4
Bob Stewart
- Unexpected trap while booting Fiasco
Stefan Fritsch
- Using the tmpfs library
Michael Weiß
- Fwd: Interrupt Handlers
Piyus Kedia
- why Fiasco kernel is named as fiasco
Raja Sekhar
- Use of the PC value in interrupt/exception handlers
Piyus Kedia
- Unable to boot Fiasco.OC on amd64
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Иван Филиппов
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Adam Lackorzynski
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Adam Lackorzynski
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Adam Lackorzynski
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- l4-hackers Digest, Vol 124, Issue 4
Adam Lackorzynski
- l4-hackers Digest, Vol 124, Issue 4
Lluís Vilanova
- Setting physical CPU for a task
Lluís Vilanova
- mmap2 on L4Linux rev 37
Sebastian Sumpf
- l4linux with ide-harddisk
Rudolf Weber
- Issue in getting Virtual Hardware devices
Raja Sekhar
- Data transfer mechanisms
Lluís Vilanova
- issue in getting vhw_devices....................
Raja Sekhar
- How to write device driver
Raja Sekhar
- Desktop Environment
Bryan Amato
- Files that Tune Kernel
Bryan Amato
- Fosdem'14
Sartakov A. Vasily
- Top runscript
Daniel Müller
- Cross-CPU TLB flush problem with Fiasco.OC (r56, r58; exynos5)
Christian Prochaska
- L4::Cap::move
Daniel Müller
- L4kproxy::Factory_svr
Daniel Müller
- Booting on Raspberry Pi
Robert Kaiser
- Problems with SVN co
Manuel Dejonghe
- L4Re::Util::Dataspace_svr
Daniel Müller
- Is mapping database still in use now?
Sheng-Wei Cheng
- How to start DoPe and clients ?
Rudolf Weber
- vbus problem
vijay kumar Godavarthy
- About the use of C++11 features
Johannes Schlatow
- ARMV7 virtualization extensions support
Karoline Haus
- error in bootstrap when building amd64
Joel Nider
- L4Linux on AMD64 (again)
Alexander Tarasikov
- FOSDEM 2014 - CfP: Microkernels / Component-based OSes devroom
Julian Stecklina
- scanf is not working
Raja Sekhar
- issue while running l4re_fiasco on qemu-system-arm
Raja Sekhar
- L4/Fiasco.OC & gcc-4.7
Daniel Müller
- Client Server application with l4linux
Wajidali Whowe
- Invitation to connect on LinkedIn
Rahul Singhal
- FOSDEM microkernel devroom video recordings
Julian Stecklina
- Fiasco.OC API documentation
Neal H. Walfield
- some question bout L4 memory management
yakijahn
- about the snd-base/hot-spot of flexpage mapping
冯希顺
- question about process generation
Alexander Aring
- Cons
Daniel Müller
- Using Trustzone on mx53 and L4Linux
panton
- [ASK] Make L4 + Fiasco ISO to boot in pandaboard
Erry Pradana Darajati
- Dynamic creation and passing of IPC channels
Robert Kaiser
- serial_drv failed
Raja Sekhar
- FOSDEM microkernel devroom submission deadline nears (Dec 1st)
Julian Stecklina
- Porting libraries to l4linux
Irvanda Kurniadi
- Microkernel Devroom Accepted Talks and Preliminary Schedule
Julian Stecklina
- Request for information on l4 fiasco
Viswa Sekar
- Porting libtiff library
Irvanda Kurniadi
- Assertion failed on FPU
Wei Jin
- L4RE compile error in file rt_sched-proto.h
Wei Jin
- IRQ request from server to client and server.loop()
cem akpolat
- Error while compiling program in l4re
Irvanda Kurniadi
Last message date:
Sat Dec 21 02:09:26 CET 2013
Archived on: Tue Apr 13 12:03:56 CEST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).