2013 Archives by author

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

Starting: Wed Jan 9 07:08:44 CET 2013
Ending: Sat Dec 21 02:09:26 CET 2013
Messages: 452

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

Last message date: Sat Dec 21 02:09:26 CET 2013
Archived on: Tue Apr 13 12:03:56 CEST 2021

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