l4-hackers  

Messages by Date

• 2013/10/01 L4Linux on AMD64 (again) Alexander Tarasikov
• 2013/10/01 Re: NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/10/01 Re: error in bootstrap when building amd64 Matthias Lange
• 2013/10/01 Re: error in bootstrap when building amd64 Joel Nider
• 2013/09/30 Re: L4Re::Util::Dataspace_svr Adam Lackorzynski
• 2013/09/30 Re: ARMV7 virtualization extensions support Adam Lackorzynski
• 2013/09/30 Re: error in bootstrap when building amd64 Adam Lackorzynski
• 2013/09/30 error in bootstrap when building amd64 Joel Nider
• 2013/09/26 ARMV7 virtualization extensions support Karoline Haus
• 2013/09/21 L4Re::Util::Dataspace_svr Daniel Müller
• 2013/09/20 Re: About the use of C++11 features Björn Döbel
• 2013/09/20 About the use of C++11 features Johannes Schlatow
• 2013/09/17 Re: Booting on Raspberry Pi Adam Lackorzynski
• 2013/09/17 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/16 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/15 Re: Is mapping database still in use now? Adam Lackorzynski
• 2013/09/15 Re: vbus problem Adam Lackorzynski
• 2013/09/15 Re: How to start DoPe and clients ? Adam Lackorzynski
• 2013/09/15 Re: L4Re::Util::Dataspace_svr Adam Lackorzynski
• 2013/09/15 Re: Booting on Raspberry Pi Adam Lackorzynski
• 2013/09/13 How to start DoPe and clients ? Rudolf Weber
• 2013/09/13 vbus problem vijay kumar Godavarthy
• 2013/09/12 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/11 Re: Booting on Raspberry Pi Adam Lackorzynski
• 2013/09/10 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/10 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/10 Re: Problems with SVN co Manuel Dejonghe
• 2013/09/10 Is mapping database still in use now? Sheng-Wei Cheng
• 2013/09/10 L4Re::Util::Dataspace_svr Daniel Müller
• 2013/09/09 Re: Fosdem'14 Julian Stecklina
• 2013/09/09 Problems with SVN co Manuel Dejonghe
• 2013/09/09 Re: L4kproxy::Factory_svr Daniel Müller
• 2013/09/09 Re: Booting on Raspberry Pi Robert Kaiser
• 2013/09/08 Re: Booting on Raspberry Pi Adam Lackorzynski
• 2013/09/08 Re: L4kproxy::Factory_svr Adam Lackorzynski
• 2013/09/06 Booting on Raspberry Pi Robert Kaiser
• 2013/09/05 L4kproxy::Factory_svr Daniel Müller
• 2013/09/05 Re: L4::Cap::move Adam Lackorzynski
• 2013/09/05 L4::Cap::move Daniel Müller
• 2013/09/01 Re: Cross-CPU TLB flush problem with Fiasco.OC (r56, r58; exynos5) Adam Lackorzynski
• 2013/08/29 Re: NOVA, NUL, snapshotting Julian Stecklina
• 2013/08/28 Cross-CPU TLB flush problem with Fiasco.OC (r56, r58; exynos5) Christian Prochaska
• 2013/08/28 Top runscript Daniel Müller
• 2013/08/27 Re: NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/08/25 Re: Fosdem'14 Julian Stecklina
• 2013/08/24 Re: NOVA, NUL, snapshotting Julian Stecklina
• 2013/08/24 Fosdem'14 Sartakov A. Vasily
• 2013/08/24 Re: NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/08/23 Re: NOVA, NUL, snapshotting Udo Steinberg
• 2013/08/23 Re: NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/08/20 Re: Data transfer mechanisms Lluís Vilanova
• 2013/08/19 Re: Data transfer mechanisms Adam Lackorzynski
• 2013/08/18 Re: Data transfer mechanisms Lluís Vilanova
• 2013/08/17 Re: Files that Tune Kernel Adam Lackorzynski
• 2013/08/17 Files that Tune Kernel Bryan Amato
• 2013/08/17 Re: Desktop Environment Julian Stecklina
• 2013/08/16 Re: Desktop Environment Christian Ludwig
• 2013/08/16 Re: Desktop Environment Adam Lackorzynski
• 2013/08/16 Re: How to write device driver Adam Lackorzynski
• 2013/08/16 Desktop Environment Bryan Amato
• 2013/08/15 Re: l4linux with ide-harddisk Adam Lackorzynski
• 2013/08/15 Aw: Re: l4linux with ide-harddisk Rudolf Weber
• 2013/08/13 How to write device driver Raja Sekhar
• 2013/08/13 Re: issue in getting vhw_devices.................... Adam Lackorzynski
• 2013/08/13 issue in getting vhw_devices.................... Raja Sekhar
• 2013/08/11 Re: Data transfer mechanisms Adam Lackorzynski
• 2013/08/11 Data transfer mechanisms Lluís Vilanova
• 2013/08/10 Re: l4linux with ide-harddisk Adam Lackorzynski
• 2013/08/10 Re: Issue in getting Virtual Hardware devices Adam Lackorzynski
• 2013/08/08 Issue in getting Virtual Hardware devices Raja Sekhar
• 2013/08/06 Re: Setting physical CPU for a task Adam Lackorzynski
• 2013/08/06 Re: Setting physical CPU for a task Lluís Vilanova
• 2013/08/06 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/06 Re: mmap2 on L4Linux rev 37 Adam Lackorzynski
• 2013/08/06 Re: Setting physical CPU for a task Adam Lackorzynski
• 2013/08/06 Re: l4-hackers Digest, Vol 124, Issue 4 Adam Lackorzynski
• 2013/08/06 Re: Setting physical CPU for a task Lluís Vilanova
• 2013/08/06 mmap2 on L4Linux rev 37 Sebastian Sumpf
• 2013/08/06 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/06 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/05 Re: Setting physical CPU for a task Adam Lackorzynski
• 2013/08/05 Re: l4-hackers Digest, Vol 124, Issue 4 Adam Lackorzynski
• 2013/08/05 Re: l4-hackers Digest, Vol 124, Issue 4 Adam Lackorzynski
• 2013/08/05 Setting physical CPU for a task Lluís Vilanova
• 2013/08/05 Re: why Fiasco kernel is named as fiasco Björn Döbel
• 2013/08/05 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/05 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/04 Re: l4-hackers Digest, Vol 124, Issue 4 Adam Lackorzynski
• 2013/08/04 Re: l4-hackers Digest, Vol 124, Issue 4 Lluís Vilanova
• 2013/08/04 Re: l4-hackers Digest, Vol 124, Issue 4 Иван Филиппов
• 2013/08/02 Re: Use of the PC value in interrupt/exception handlers Adam Lackorzynski
• 2013/08/02 Re: Use of the PC value in interrupt/exception handlers Piyus Kedia
• 2013/08/02 Use of the PC value in interrupt/exception handlers Piyus Kedia
• 2013/08/01 why Fiasco kernel is named as fiasco Raja Sekhar
• 2013/08/01 Re: l4linux starting - How can I see all Debug messages on serial line ? Adam Lackorzynski
• 2013/08/01 Re: Fwd: Interrupt Handlers Adam Lackorzynski
• 2013/08/01 Re: Using the tmpfs library Adam Lackorzynski
• 2013/08/01 Using the tmpfs library Michael Weiß
• 2013/08/01 Aw: Re: l4linux starting - How can I see all Debug messages on serial line ? Rudolf Weber
• 2013/08/01 Fwd: Interrupt Handlers Piyus Kedia
• 2013/07/31 Re: Unexpected trap while booting Fiasco Adam Lackorzynski
• 2013/07/31 Re: Unexpected trap while booting Fiasco Stefan Fritsch
• 2013/07/31 Unexpected trap while booting Fiasco Stefan Fritsch
• 2013/07/29 Re: l4linux starting - How can I see all Debug messages on serial line ? Adam Lackorzynski
• 2013/07/29 Aw: Re: l4linux starting - How can I see all Debug messages on serial line ? Rudolf Weber
• 2013/07/29 Re: Build errors with L4 Bob Stewart
• 2013/07/29 Re: Build errors with L4 Matthias Lange
• 2013/07/29 Re: Build errors with L4 Bob Stewart
• 2013/07/29 Re: Build errors with L4 Bob Stewart
• 2013/07/29 Re: Build errors with L4 Christian Prochaska
• 2013/07/29 Re: Build errors with L4 Bob Stewart
• 2013/07/28 Re: Build errors with L4 Adam Lackorzynski
• 2013/07/28 Build errors with L4 Bob Stewart
• 2013/07/28 Re: Launch of L4Linux Adam Lackorzynski
• 2013/07/27 Re: Launch of L4Linux Maximin Coste
• 2013/07/27 Re: Launch of L4Linux Adam Lackorzynski
• 2013/07/27 Re: l4linux starting - How can I see all Debug messages on serial line ? Adam Lackorzynski
• 2013/07/27 Re: Getting fiasco-ux to exit after moe's init process terminates Adam Lackorzynski
• 2013/07/25 Getting fiasco-ux to exit after moe's init process terminates John Millikin
• 2013/07/25 Re: Launch of L4Linux Maximin Coste
• 2013/07/25 Re: Launch of L4Linux Adam Lackorzynski
• 2013/07/25 Re: l4linux starting - How can I see all Debug messages on serial line ? Adam Lackorzynski
• 2013/07/25 l4linux starting - How can I see all Debug messages on serial line ? Rudolf Weber
• 2013/07/25 Re: Launch of L4Linux Maximin Coste
• 2013/07/22 Re: Launch of L4Linux Adam Lackorzynski
• 2013/07/22 Re: Launch of L4Linux Maximin Coste
• 2013/07/19 Re: Problem with setting up namespaces Tobias Stumpf
• 2013/07/18 Re: l4linux: l4x_setup_memory:Cant get main memory Adam Lackorzynski
• 2013/07/18 Re: Fiasco.OC Kernel memory running out (I think) Adam Lackorzynski
• 2013/07/18 Re: Launch of L4Linux Adam Lackorzynski
• 2013/07/18 Re: Problem with setting up namespaces Johannes Schlatow
• 2013/07/18 Re: NOVA, NUL, snapshotting Udo Steinberg
• 2013/07/18 Re: Problem with setting up namespaces Björn Döbel
• 2013/07/18 Aw: Re: l4linux: l4x_setup_memory:Cant get main memory Rudolf Weber
• 2013/07/18 Re: Problem with setting up namespaces Christian Ehrhardt
• 2013/07/18 Fiasco.OC Kernel memory running out (I think) Daniel Waddington
• 2013/07/18 Re: Problem with setting up namespaces Johannes Schlatow
• 2013/07/18 Re: NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/07/18 Re: Problem with setting up namespaces Björn Döbel
• 2013/07/17 Problem with setting up namespaces Johannes Schlatow
• 2013/07/17 Launch of L4Linux Maximin Coste
• 2013/07/16 Re: Error during the "ned" package build (svn revision 42) Adam Lackorzynski
• 2013/07/16 Re: l4linux: l4x_setup_memory:Cant get main memory Adam Lackorzynski
• 2013/07/16 Aw: Re: l4linux: l4x_setup_memory:Cant get main memory Rudolf Weber
• 2013/07/15 Re: Error during the "ned" package build (svn revision 42) Maksym Planeta
• 2013/07/15 Re: NOVA, NUL, snapshotting Udo Steinberg
• 2013/07/15 Re: NOVA, NUL, snapshotting Alexander Boettcher
• 2013/07/15 NOVA, NUL, snapshotting Sartakov A. Vasily
• 2013/07/14 Re: x86_fb-example Adam Lackorzynski
• 2013/07/14 Re: l4linux: l4x_setup_memory:Cant get main memory Adam Lackorzynski
• 2013/07/14 l4linux: l4x_setup_memory:Cant get main memory Rudolf Weber
• 2013/07/13 x86_fb-example Rudolf Weber
• 2013/07/06 Re: Help needed Marcus Hähnel
• 2013/07/05 Help needed vijay kumar godavarthy
• 2013/07/05 A interprocess communication system for two l4linux instances Wajidali Whowe
• 2013/06/30 Thought you'd find this interesting Rahul Singhal
• 2013/06/25 15th Real Time Linux Workshop - Call for Papers Nicholas Mc Guire
• 2013/06/24 Re: How to run simple client server example Björn Döbel
• 2013/06/24 How to run simple client server example Thang Tran
• 2013/06/14 Re: Unable to boot 64bit hello Daniel Müller
• 2013/06/12 Re: How to make task run on different cores? Adam Lackorzynski
• 2013/06/12 Re: How to make task run on different cores? Chao-Jui Chang
• 2013/06/11 Re: How to make task run on different cores? Chao-Jui Chang
• 2013/06/11 Re: How to make task run on different cores? Chao-Jui Chang
• 2013/06/11 Re: How to make task run on different cores? Adam Lackorzynski
• 2013/06/11 Re: How Fiasco reclaim task resources when the task exits (abnormally) ? Adam Lackorzynski
• 2013/06/11 Re: Fiasco.OC with ARM TrustZone Adam Lackorzynski
• 2013/06/11 Re: Unable to boot 64bit hello Julian Stecklina
• 2013/06/11 Re: Program development for L4Re Björn Döbel
• 2013/06/11 Program development for L4Re Rahul Singhal
• 2013/06/10 Re: Task threads are not killed at exit Adam Lackorzynski
• 2013/06/10 Re: Unable to boot 64bit hello Daniel Müller
• 2013/06/10 Re: Unable to boot 64bit hello Julian Stecklina
• 2013/06/10 How to make task run on different cores? Chao-Jui Chang
• 2013/06/10 Re: How Fiasco reclaim task resources when the task exits (abnormally) ? BogDan
• 2013/06/10 Re: Task threads are not killed at exit BogDan
• 2013/06/09 Re: Unable to boot 64bit hello Daniel Müller
• 2013/06/09 Re: Fiasco.OC with ARM TrustZone Chao-Jui Chang
• 2013/06/09 Re: Unable to boot 64bit hello Adam Lackorzynski
• 2013/06/09 Re: How Fiasco reclaim task resources when the task exits (abnormally) ? Adam Lackorzynski
• 2013/06/09 Re: Task threads are not killed at exit Adam Lackorzynski
• 2013/06/09 Re: Fiasco.OC with ARM TrustZone Adam Lackorzynski
• 2013/06/09 Unable to boot 64bit hello Daniel Müller
• 2013/06/08 Re: <http://l4ka.org/> down? Thomas Schwinge
• 2013/06/07 How Fiasco reclaim task resources when the task exits (abnormally) ? BogDan
• 2013/06/07 Task threads are not killed at exit BogDan
• 2013/06/06 Re: arm-linux-ld not found while compiling l4-fiasco microkernel Wei Jin
• 2013/06/06 Re: Fiasco.OC with ARM TrustZone Chao-Jui Chang
• 2013/06/06 Re: arm-linux-ld not found while compiling l4-fiasco microkernel Maximin Coste
• 2013/06/06 arm-linux-ld not found while compiling l4-fiasco microkernel Rahul Singhal
• 2013/06/05 Re: Hello scenario gets stuck Adam Lackorzynski
• 2013/06/05 Re: Fiasco.OC with ARM TrustZone Adam Lackorzynski
• 2013/06/05 Re: Hello scenario gets stuck Markus Partheymueller
• 2013/06/05 Re: Fiasco.OC with ARM TrustZone Chao-Jui Chang
• 2013/06/04 Re: How to catch unhandled exceptions ? Björn Döbel
• 2013/06/04 Re: Hello scenario gets stuck Adam Lackorzynski
• 2013/06/04 Re: target CPU does not support ARM mode Adam Lackorzynski
• 2013/06/04 Re: Hello scenario gets stuck Markus Partheymueller
• 2013/06/04 target CPU does not support ARM mode Maximin Coste
• 2013/06/03 Re: Hello scenario gets stuck Adam Lackorzynski

• Later messages