l4-hackers  

Messages by Thread

• • Re: Build L4Re on amd64 Adam Lackorzynski
  • Re: Build L4Re on amd64 Christian Helmuth
• Building l4con lib and examples Adi Lima
  • Re: Building l4con lib and examples Adam Lackorzynski
• Need help on l4_msgtag_has_error Chen Tian
  • Re: Need help on l4_msgtag_has_error Adam Lackorzynski
  • Silly Pthread Issues bryc...@gmail.com
  • Re: Silly Pthread Issues Adam Lackorzynski
• Using fbterminal with L4Con Adi Lima
  • Re: Using fbterminal with L4Con Adam Lackorzynski
• Cannot show fbterminal Adi Lima
  • Re: Cannot show fbterminal Adam Lackorzynski
• l4shmnet bug fixed Matthias Petschick
  • Re: l4shmnet bug fixed Adam Lackorzynski
• Minimal Fiasco Testing Setup Bryce Cronkite-Ratcliff
  • Re: Minimal Fiasco Testing Setup Adam Lackorzynski
• Genode OS Framework 11.11 released Stefan Kalkowski
• shmc bug fixes Stefan Fritsch
  • Re: shmc bug fixes Adam Lackorzynski
• Getty over L4 shared memory Julian Vetter
  • Re: Getty over L4 shared memory Jan Böttger
  • Re: Getty over L4 shared memory Björn Döbel
  • Re: Getty over L4 shared memory Björn Döbel
• Could not run L4Linux for testing Adi Lima
  • Re: Could not run L4Linux for testing Adam Lackorzynski
• FOSDEM 2012 - Multiserver, microkernel-based operating systems devroom Jakub Jermar
• Bugs in Semaphore implementation in Fiasco.OC? Chen Tian
  • Re: Bugs in Semaphore implementation in Fiasco.OC? Adam Lackorzynski
• L4Linux modules PB11MPCORE Varun Ganesh
  • Re: L4Linux modules PB11MPCORE Varun Ganesh
  • Re: L4Linux modules PB11MPCORE Adam Lackorzynski
• L4Linux on PB11MPCORE boot hangs at Varun Ganesh
  • Re: L4Linux on PB11MPCORE boot hangs at Adam Lackorzynski
• Using different serial port for 2 linux instances Julien SIMONE
  • Re: Using different serial port for 2 linux instances Adam Lackorzynski
• kernel.ld.arm virt_address Wesley Miaw
  • Re: kernel.ld.arm virt_address Adam Lackorzynski
  • Re: kernel.ld.arm virt_address Wesley Miaw
• Booting multiple instances of L4 Linux Julien SIMONE
  • Re: Booting multiple instances of L4 Linux Adam Lackorzynski
• Problem booting L4 on Sheevaplug Julian Vetter
  • Re: Problem booting L4 on Sheevaplug Adam Lackorzynski
• L4CON with client Peter Hanzel
  • Re: L4CON with client Adam Lackorzynski
  • Re: L4CON with client Peter Hanzel
  • Re: L4CON with client Adam Lackorzynski
  • Re: L4CON with client Peter Hanzel
• L4re Compile time Error! Pls Assist. Peter Aituatalor Arabomen
  • Re: L4re Compile time Error! Pls Assist. Adam Lackorzynski
• Disko UI Framework porting Ivan Loskutov
  • Re: Disko UI Framework porting Adam Lackorzynski
• gcc: symbol lookup error: ...libgendep.so: undefined symbol: dlsym Wesley Miaw
  • Re: gcc: symbol lookup error: ...libgendep.so: undefined symbol: dlsym Adam Lackorzynski
• omap3 usb platform and other Vasily Sartakov
  • Re: omap3 usb platform and other Adam Lackorzynski
  • Re: omap3 usb platform and other Giorgio Wicklein
  • Re: omap3 usb platform and other Sartakov A. Vasily
  • Re: omap3 usb platform and other Sartakov A. Vasily
  • Re: omap3 usb platform and other Adam Lackorzynski
  • Re: omap3 usb platform and other Sartakov A. Vasily
  • Re: omap3 usb platform and other Sartakov A. Vasily
  • Re: omap3 usb platform and other Sartakov A. Vasily
  • Re: omap3 usb platform and other Adam Lackorzynski
  • Re: omap3 usb platform and other Giorgio Wicklein
• omap3 platform drivers Vasily Sartakov
• Running L4 linux on Beagle board Julien SIMONE
  • Re: Running L4 linux on Beagle board Adam Lackorzynski
  • Re: Running L4 linux on Beagle board Francois Goichon
• v_insert() in Mem_space class for ARM architecture Jung Hyun Yoo
  • Re: v_insert() in Mem_space class for ARM architecture Alexander Warg
• Mouse and keyboard on L4Android Giorgio Wicklein
  • Re: Mouse and keyboard on L4Android Adam Lackorzynski
  • Re: Mouse and keyboard on L4Android giowck
  • Re: Mouse and keyboard on L4Android Adam Lackorzynski
• how can i download previous versions gaober
  • Re: how can i download previous versions Adam Lackorzynski
• Ankh examples Ivan Loskutov
  • Re: Ankh examples Björn Döbel
  • Re: Ankh examples Ivan Loskutov
• Problem with l4linux on real hardware Shashi Sharma
  • Re: Problem with l4linux on real hardware Adam Lackorzynski
  • Re: Problem with l4linux on real hardware Shashi Sharma
  • Re: Problem with l4linux on real hardware Adam Lackorzynski
  • Re: Problem with l4linux on real hardware Shashi Sharma
  • Re: Problem with l4linux on real hardware Adam Lackorzynski
• Object-Capabilities and Physical Memory Mapping François Goichon
  • Re: Object-Capabilities and Physical Memory Mapping Adam Lackorzynski
  • Re: Object-Capabilities and Physical Memory Mapping François Goichon
  • Re: Object-Capabilities and Physical Memory Mapping Björn Döbel
• Building L4Re BratSinot aka Куршамбай
  • Re: Building L4Re Björn Döbel
• l4sigma0_map_iomem Allowed Addresses Wesley Miaw
  • Re: l4sigma0_map_iomem Allowed Addresses Adam Lackorzynski
  • Re: l4sigma0_map_iomem Allowed Addresses Wesley
  • Re: l4sigma0_map_iomem Allowed Addresses Adam Lackorzynski
  • Re: l4sigma0_map_iomem Allowed Addresses Wesley Miaw
  • Re: l4sigma0_map_iomem Allowed Addresses Alexander Warg
• Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
  • Re: Is there a way to build a non-PIC shared library with l4env? Valery V. Sedletski
  • Re: Is there a way to build a non-PIC shared library with l4env? Adam Lackorzynski
• L4 courses Slex Sangiuliano
  • Re: L4 courses Marc Mauri Alloza
  • Re: L4 courses Michael Roitzsch
  • Re: L4 courses Gernot Heiser
  • RE: L4 courses Slex Sangiuliano
• l4 task map in different factory. Chen Tian
  • Re: l4 task map in different factory. Chen Tian
  • Re: l4 task map in different factory. Adam Lackorzynski
  • L4Android/L4Linux Beagleboard framebuffer and driver giowck
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Adam Lackorzynski
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver giowck
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Adam Lackorzynski
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver giowck
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Adam Lackorzynski
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Giorgio Wicklein
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Adam Lackorzynski
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Giorgio Wicklein
  • Re: L4Android/L4Linux Beagleboard framebuffer and driver Giorgio Wicklein
• clntsrv example capabilities Wesley Miaw
  • Re: clntsrv example capabilities Adam Lackorzynski
• VM API for TZ Decl != Impl Wesley Miaw
  • Re: VM API for TZ Decl != Impl Adam Lackorzynski
• pthread issue on ARM Ivan Loskutov
  • Re: pthread issue on ARM Adam Lackorzynski
  • Re: pthread issue on ARM Ivan Loskutov
  • Re: pthread issue on ARM Adam Lackorzynski
  • Re: pthread issue on ARM Ivan Loskutov
• L4Re/L4Android specify RAM size on Beagleboard giowck
  • Re: L4Re/L4Android specify RAM size on Beagleboard Adam Lackorzynski
  • Re: L4Re/L4Android specify RAM size on Beagleboard giowck
  • Re: L4Re/L4Android specify RAM size on Beagleboard Adam Lackorzynski
• loading boot task Chen Tian
  • Re: loading boot task Adam Lackorzynski
  • Re: loading boot task Chen Tian
• Re: L4Android servicemanager segfault Matthias Lange
  • RE: L4Android servicemanager segfault LeMay, Michael D
  • Re: L4Android servicemanager segfault Matthias Lange
• How can I destroy a kernel object Chen Tian
  • Re: How can I destroy a kernel object Adam Lackorzynski
• L4Android minor issue report giowck
  • Re: L4Android minor issue report Matthias Lange
• L4Android bootstrap errors giowck
  • Re: L4Android bootstrap errors Matthias Lange
  • Re: L4Android bootstrap errors giowck
  • Re: L4Android bootstrap errors Adam Lackorzynski
• Broken links in L4Re documentation Michal Sojka
  • Re: Broken links in L4Re documentation Adam Lackorzynski
• l4re-snapshot-2011081207 and l4android for arm: build error after update giowck
  • Re: l4re-snapshot-2011081207 and l4android for arm: build error after update Adam Lackorzynski
• Little fixup around pthreads Marc CHALAND
  • Re: Little fixup around pthreads Adam Lackorzynski
  • Re: Little fixup around pthreads Marc CHALAND
  • Re: Little fixup around pthreads Adam Lackorzynski
• [Fix] Small build fix for old Fiasco/L4Env version Sebastian Sumpf
  • Re: [Fix] Small build fix for old Fiasco/L4Env version Adam Lackorzynski
• Building L4Re, make errors giowck
  • Re: Building L4Re, make errors Adam Lackorzynski
  • Re: Building L4Re, make errors giowck
• Test suite for Fiasco Bryce CR
  • Re: Test suite for Fiasco Adam Lackorzynski
  • Re: Test suite for Fiasco Bryce CR
  • Re: Test suite for Fiasco Adam Lackorzynski
  • Re: Test suite for Fiasco Bryce CR
  • Re: Test suite for Fiasco Adam Lackorzynski
• question about read clock API in ARM 박찬주
  • Re: question about read clock API in ARM cheng guanghui
• L4Linux and mmap Vasily Sartakov
  • Re: L4Linux and mmap Adam Lackorzynski
• Sigma0 raised exception on boot Anna Fischer
  • Re: Sigma0 raised exception on boot Adam Lackorzynski
  • Re: Sigma0 raised exception on boot Anna Fischer
  • Re: Sigma0 raised exception on boot Wesley Miaw
  • Re: Sigma0 raised exception on boot Adam Lackorzynski
• Dependencies Bryce CR
  • Re: Dependencies Bryce CR
  • Re: Dependencies Adam Lackorzynski
• L4Re Library Usage Wesley Miaw
  • Re: L4Re Library Usage Adam Lackorzynski
• [ANNOUNCE] NOVA Microhypervisor 0.4 prerelease Udo A. Steinberg
• Re: l4-hackers Digest, Vol 99, Issue 18 Wesley Miaw
• No configuration file found in build directory Wesley Miaw
  • Re: No configuration file found in build directory Adam Lackorzynski
• transfer_msg_items Chen Tian
  • Re: transfer_msg_items Chen Tian
• writing my own filesystem for L4 Michal Schulz
  • Re: writing my own filesystem for L4 Adam Lackorzynski

• Earlier messages
• Later messages