2011 Archives by date

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

Starting: Tue Jan 4 01:04:01 CET 2011
Ending: Wed Dec 28 08:44:46 CET 2011
Messages: 563

• ARM L4Linux Kernel Panic   Wesley Miaw
• ARM L4Linux Kernel Panic   Adam Lackorzynski
• ARM L4Linux Kernel Panic   Wesley Miaw
• ARM L4Linux Kernel Panic   Wesley Miaw
• ARM L4Linux Kernel Panic   Adam Lackorzynski
• Need for a copy of the original Assembly Code of L4   王彬彬
• Need for a copy of the original Assembly Code of L4   Adam Lackorzynski
• Explanation of ARM TrustZone Support?   Wesley Miaw
• Explanation of ARM TrustZone Support?   Michael Roitzsch
• Explanation of ARM TrustZone Support?   Torsten Frenzel
• Thread IP initialization   jason philip
• Explanation of ARM TrustZone Support?   Wesley Miaw
• Explanation of ARM TrustZone Support?   Torsten Frenzel
• Thread IP initialization   Adam Lackorzynski
• Explanation of ARM TrustZone Support?   Wesley Miaw
• L4 fpages   jason philip
• L4 fpages   Adam Lackorzynski
• Thread IP initialization   Jason Philip
• L4 fpages   Jason Philip
• L4 fpages   Björn Döbel
• L4 fpages   Björn Döbel
• Thread IP initialization   Björn Döbel
• neophyte startup question   eric van tassell
• neophyte startup question   Adam Lackorzynski
• L4 fpages   Jason Philip
• Cannot determine L4 source directory   eric van tassell
• Fiasco.OC for PowerPC   Wes
• L4 fpages   Björn Döbel
• Cannot determine L4 source directory   Adam Lackorzynski
• Fiasco.OC for PowerPC   Adam Lackorzynski
• Fiasco.OC for PowerPC   Wes
• demo cd question   eric van tassell
• problem building L4Linux, comments welcome   eric van tassell
• problem building L4Linux, comments welcome   eric van tassell
• demo cd question   Adam Lackorzynski
• problem building L4Linux, comments welcome   Adam Lackorzynski
• problem building L4Linux, comments welcome   eric van tassell
• problem building L4Linux, comments welcome   Adam Lackorzynski
• PingPong not working   Jason Philip
• PingPong not working   Adam Lackorzynski
• PingPong not working   Jason Philip
• Processor compatibility   Jason Philip
• Issue with building L4RE:multiple definition error   WangKevis
• Issue with building L4RE:multiple definition error   Björn Döbel
• PingPong not working   Björn Döbel
• PingPong not working   Jason Philip
• Privilege threads   Jason Philip
• PingPong not working   Jason Philip
• Privilege threads   Adam Lackorzynski
• I cannot for the life of me compile l4linux   Daniel F. Haaland
• PCI Bus access   Jason Philip
• I cannot for the life of me compile l4linux   Adam Lackorzynski
• PCI Bus access   Adam Lackorzynski
• Processor compatibility   Jason Philip
• Processor compatibility   Stefan Kalkowski
• Processor compatibility   Marc Mauri Alloza
• Fiasco Kernel extended V2 API vs. Pistachio X2 API   Daniel Waddington - SISA
• I cannot for the life of me compile l4linux   Daniel F. Haaland
• I cannot for the life of me compile l4linux   Adam Lackorzynski
• Fiasco Kernel extended V2 API vs. Pistachio X2 API   Marcus Voelp
• Fiasco Kernel extended V2 API vs. Pistachio X2 API   Adam Lackorzynski
• Can't access memory region   Jason Philip
• Can't access memory region   Jason Philip
• Public release of seL4   Gernot Heiser
• Can't access memory region   Jason Philip
• Fiasco.OC internals   Amadeo Cuadrado
• Fiasco.OC internals   Marcus Voelp
• Can't access memory region   Adam Lackorzynski
• Questions on implementation details of capabilities   Christoph Szeppek
• Questions on implementation details of capabilities   Adam Lackorzynski
• Can't access memory region   Jason Philip
• Can't access memory region   Adam Lackorzynski
• Fiasco.OC IPC performance   Chen Tian
• Fiasco.OC IPC performance   Adam Lackorzynski
• Fiasco.OC IPC performance   Gernot Heiser
• Fiasco.OC IPC performance   Chen Tian
• Fiasco.OC IPC performance   Gernot Heiser
• Fiasco.OC IPC performance   Michael Roitzsch
• Fiasco.OC IPC performance   Udo A. Steinberg
• can't interface I/O address Space   Jason Philip
• Fiasco.OC IPC performance   Chen Tian
• Fiasco.OC IPC performance   Gernot Heiser
• can't interface I/O address Space   Jason Philip
• can't interface I/O address Space   Adam Lackorzynski
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Naveen Chandrakar
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Adam Lackorzynski
• thread creation help   Jason Philip
• thread creation help   Jason Philip
• thread creation help   Christian Helmuth
• No subject   sasamy
• No subject   sasamy
• your mail   Adam Lackorzynski
• thread creation help   Gernot Heiser
• which is faster an ipc or a function call   Jason Philip
• your mail   sasamy
• which is faster an ipc or a function call   Gernot Heiser
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Naveen Chandrakar
• your mail   Adam Lackorzynski
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Adam Lackorzynski
• your mail   sasamy
• build errors in fiasco kernel contained in l4re-core-2011021416 with JDB disabled   Christoph Szeppek
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Naveen Chandrakar
• build errors in fiasco kernel contained in l4re-core-2011021416 with JDB disabled   Adam Lackorzynski
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Adam Lackorzynski
• MP Fiasco.UX   Daniel Waddington - SISA
• MP Fiasco.UX   Adam Lackorzynski
• [ANNOUNCE] NOVA Microhypervisor 0.3 prerelease   Udo A. Steinberg
• which is faster an ipc or a function call   Jason Philip
• [ANNOUNCE] NOVA Userland 0.3 prerelease   Julian Stecklina
• which is faster an ipc or a function call   Thomas DuBuisson
• Fiasco-oc l4linux   David Leimbach
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Naveen Chandrakar
• Fiasco-oc l4linux   Adam Lackorzynski
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Adam Lackorzynski
• Fiasco-oc l4linux   David Leimbach
• Fiasco-oc l4linux   David Leimbach
• A few general questions about L4   Maciej Katafiasz
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Adam Lackorzynski
• A few general questions about L4   Adam Lackorzynski
• L4Re: C++ or DICE for IPC   Valery V. Sedletski
• L4Re: C++ or DICE for IPC   Björn Döbel
• L4Re: C++ or DICE for IPC   Norman Feske
• Boot into video mode with grub2   Dan Haim
• Boot into video mode with grub2   Adam Lackorzynski
• 13th Real Time Linux Workshop - 1st Call for Papers   Nicholas Mc Guire
• [L4 on realview Cortex A9] Failing on board check during fiasco bootup   Naveen Chandrakar
• Boot into video mode with grub2   Dan Haim
• L4Re: C++ or DICE for IPC   Valery V. Sedletski
• L4Re: C++ or DICE for IPC   Valery V. Sedletski
• L4Re: C++ or DICE for IPC   Adam Lackorzynski
• L4Re: C++ or DICE for IPC   Norman Feske
• Announcement: Genode 11.02 with support for both NOVA v0.3 and Fiasco.OC   Norman Feske
• thread creation help   Jason Philip
• thread creation help   Jason Philip
• Compiling l4re for BeagleBoard   Ivan Bludov
• Compiling l4re for BeagleBoard   Adam Lackorzynski
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Genode OS framework and kernel-specific features   Norman Feske
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Can L4 modules be accessed as files from L4Linux?   Dan Haim
• Genode OS framework and kernel-specific features   Norman Feske
• Can L4 modules be accessed as files from L4Linux?   Adam Lackorzynski
• Can L4 modules be accessed as files from L4Linux?   Dan Haim
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Genode OS framework and kernel-specific features   Norman Feske
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Genode OS framework and kernel-specific features   Sebastian Sumpf
• Genode OS framework and kernel-specific features   Valery V. Sedletski
• Samsung R&D - Full-time OS Researcher Position   Daniel Waddington
• IPC performance comparison of Fiasco.OC and Pistachio   Jaeyeon Kang
• L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted   Siegfried Podesser
• IPC performance comparison of Fiasco.OC and Pistachio   Sergio Ruocco
• L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted   Matthias Lange
• L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted   Adam Lackorzynski
• Fiasco.OC on amd64 Opteron 6000   Daniel Waddington
• Fiasco.OC on amd64 Opteron 6000   Adam Lackorzynski
• L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted   Siegfried Podesser
• L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted   Adam Lackorzynski
• L4Re + Bytecode Translation   Michael Brooks
• Fiasco.OC on amd64 Opteron 6000   Alexander Warg
• Help on write first client-server on Fiasco   Wenhao Xu
• Help on write first client-server on Fiasco   Björn Döbel
• Question about Mapping DB Recursion Depth on Fiasco.OC   Christoph Szeppek
• Customizing L4Linux, on ARM/Beagleboard   Julien Heyman
• Customizing L4Linux, on ARM/Beagleboard   Adam Lackorzynski
• Question about Mapping DB Recursion Depth on Fiasco.OC   Adam Lackorzynski
• Customizing L4Linux, on ARM/Beagleboard   Julien Heyman
• Customizing L4Linux, on ARM/Beagleboard   Michael Weiß
• Customizing L4Linux, on ARM/Beagleboard   Julien Heyman
• Question about Mapping DB Recursion Depth on Fiasco.OC   Alexander Warg
• how i can determine utcb loaction in order to make thread   Jason Philip
• how i can determine utcb loaction in order to make thread   Jason Philip
• how i can determine utcb loaction in order to make thread   Jason Philip
• how i can determine utcb loaction in order to make thread   Jason Philip
• Increase L4linux ramdisk size ?   Julien Heyman
• Increase L4linux ramdisk size ?   Adam Lackorzynski
• how i can determine utcb loaction in order to make thread   Jason Philip
• Increase L4linux ramdisk size ?   Julien HEYMAN
• how i can determine utcb loaction in order to make thread   Norman Feske
• Build errors in building L4re for ARM   Rahul Ramasubramanian
• how i can determine utcb loaction in order to make thread   Jason Philip
• how i can determine utcb loaction in order to make thread   Norman Feske
• Build errors in building L4re for ARM   Adam Lackorzynski
• how i can determine utcb loaction in order to make thread   Jason Philip
• how i can determine utcb loaction in order to make thread   Jason Philip
• How to block an API call without blocking server message loop?   Valery V. Sedletski
• How to block an API call without blocking server message loop?   Valery V. Sedletski
• Build errors in building L4re for ARM   Rahul Ramasubramanian
• Build errors in building L4re for ARM   Adam Lackorzynski
• How to block an API call without blocking server message loop?   Adam Lackorzynski
• How to block an API call without blocking server message loop?   Valery V. Sedletski
• How to block an API call without blocking server message loop?   Valery V. Sedletski
• How to block an API call without blocking server message loop?   Valery V. Sedletski
• how i can determine utcb loaction in order to make thread   Jason Philip
• Increase L4linux ramdisk size ?   Julien Heyman
• Increase L4linux ramdisk size ?   Adam Lackorzynski
• Increase L4linux ramdisk size ?   Julien Heyman
• how i can determine utcb loaction in order to make thread   Jason Philip
• How to add more NIC drivers for ankh?   Alexey Aizatullin
• How to add more NIC drivers for ankh?   Björn Döbel
• L4Linux (arm) - change CPU speed   Siegfried Podesser
• L4Linux (arm) - change CPU speed   Adam Lackorzynski
• how i can determine utcb loaction in order to make thread   Jason Philip
• Assertion failed: 'prev_next' [ret=0xf000e9c8] (arm qemu realview pbx system)   Siegfried Podesser
• Assertion failed: 'prev_next' [ret=0xf000e9c8] (arm qemu realview pbx system)   Adam Lackorzynski
• Ethernet on Beagleboard xM with Ankh+L4Linux ?   Julien Heyman
• Ethernet on Beagleboard xM with Ankh+L4Linux ?   Adam Lackorzynski
• Ethernet on Beagleboard xM with Ankh+L4Linux ?   Julien Heyman
• information on interrupt thread convention   Jason Phillips
• information on interrupt thread convention   Jason Phillips
• information on interrupt thread convention   Jason Phillips
• how i can determine utcb loaction in order to make thread   Jason Phillips
• information on interrupt thread convention   Jason Phillips
• Rename compund to compound   Christian Ehrhardt
• Fix L4_msg_tag constructor   Christian Ehrhardt
• Bitmap size in buddy_alloc.cpp   Christian Ehrhardt
• Remove unused bitmap_pde_lookup function   Christian Ehrhardt
• Cleanups in mapping_tree.cpp   Christian Ehrhardt
• Fix integer overflow and remove unused code in space.cpp   Christian Ehrhardt
• Handle failures in the middle of alloc_kumem_chunk correctly   Christian Ehrhardt
• Check for in_sender_list() instead of receiver()   Christian Ehrhardt
• Fix a bug in Mem_region_map_base::sub   Christian Ehrhardt
• 64 bit support in L4Linux   Stefan Kalkowski
• 64 bit support in L4Linux   Adam Lackorzynski
• information on interrupt thread convention   Adam Lackorzynski
• 64 bit support in L4Linux   Stefan Kalkowski
• information on interrupt thread convention   Jason Phillips
• I have a problem when I built the L4Re environment   王彬彬
• I have a problem when I built the L4Re environment   Adam Lackorzynski
• Bitmap size in buddy_alloc.cpp   Alexander Warg
• information on interrupt thread convention   Adam Lackorzynski
• information on interrupt thread convention   Jason Phillips
• L4 on ARM: cache coherency and virtual address space   Michal Schulz
• L4 on ARM: cache coherency and virtual address space   Adam Lackorzynski
• L4 on ARM: cache coherency and virtual address space   Michal Schulz
• L4 on ARM: cache coherency and virtual address space   Adam Lackorzynski
• information on interrupt thread convention   Jason Phillips
• build error: No rule to make target crtendS.o   Guillaume Salagnac
• CFP: SSV 2011 - Workshop on Systems Software Verification [deadline extended]   Hendrik Tews
• JVM port for Fiasco.OC/L4Re   Nuno Santos
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• JVM port for Fiasco.OC/L4Re   Adam Lackorzynski
• Freeze L4-thread of Fiasco.OC   Ivan Bludov
• Freeze L4-thread of Fiasco.OC   Adam Lackorzynski
• information on interrupt thread convention   Jason Phillips
• building L4 x86 on cygwin   joel nider
• Questions about Pistachio   Gregory
• building L4 x86 on cygwin   Adam Lackorzynski
• Pager in the Fiasco.OC.   Chen Tian
• Pager in the Fiasco.OC.   Christian Ehrhardt
• Questions about Pistachio   Gregory
• Genode OS Framework 11.05 released   Stefan Kalkowski
• Twl4030 over I2C at BB clone with Fiasco.   Vasily Sartakov
• Twl4030 over I2C at BB clone with Fiasco.   Adam Lackorzynski
• kmem_alloc: out of kernel memory   David Silcott
• kmem_alloc: out of kernel memory   David Silcott
• utcb's address in Fiasco.OC   Chen Tian
• utcb's address in Fiasco.OC   Adam Lackorzynski
• building L4 x86 on cygwin (Adam Lackorzynski)   joel nider
• Properly detect muliple PCI root brings in L4Re's io process   Christian Ehrhardt
• Properly detect muliple PCI root brings in L4Re's io process   Alexander Warg
• L4 on Qualcomm snapdragon chipset?   Anna Fischer
• L4 on Qualcomm snapdragon chipset?   Adam Lackorzynski
• L4 on Qualcomm snapdragon chipset?   Anna Fischer
• L4 on Qualcomm snapdragon chipset?   Drasko DRASKOVIC
• L4 on Qualcomm snapdragon chipset?   Drasko DRASKOVIC
• L4 on Qualcomm snapdragon chipset?   Adam Lackorzynski
• L4 on Qualcomm snapdragon chipset?   joel nider
• Twl4030 over I2C at BB clone with Fiasco.   Vasily Sartakov
• Building L4Linux for ARM   Anna Fischer
• Building L4Linux for ARM   Anna Fischer
• crash: l4linux with virtual PCI bus enabled   Arno Toell
• Building L4Linux for ARM   Adam Lackorzynski
• crash: l4linux with virtual PCI bus enabled   Arno Toell
• Properly detect muliple PCI root brings in L4Re's io process   Stefan Fritsch
• Building L4Linux for ARM   Anna Fischer
• Building L4Linux for ARM   Adam Lackorzynski
• Pager in Fiasco.OC   Chen Tian
• Pager in Fiasco.OC   Björn Döbel
• crash: l4linux with virtual PCI bus enabled   Adam Lackorzynski
• Properly detect muliple PCI root brings in L4Re's io process   Adam Lackorzynski
• crash: l4linux with virtual PCI bus enabled   Arno Toell
• Properly detect muliple PCI root brings in L4Re's io process   Stefan Fritsch
• crash: l4linux with virtual PCI bus enabled   Adam Lackorzynski
• No subject   Slex Sangiuliano
• L4Re build error   Slex Sangiuliano
• L4Re build error   Adam Lackorzynski
• L4Re build error   Slex Sangiuliano
• L4Re build error   Adam Lackorzynski
• L4Re build error   Slex Sangiuliano
• bbclone fbdrv lcd problem   Vasily Sartakov
• bbclone fbdrv lcd problem   Adam Lackorzynski
• bbclone fbdrv lcd problem   Vasily Sartakov
• bbclone fbdrv lcd problem   Vasily Sartakov
• bbclone fbdrv lcd problem   Adam Lackorzynski
• the booting error of l4linux   cheng guanghui
• pthread_exit in L4re   Chen Tian
• Nokia N900 and Fiasco.OC/l4re   Valery V. Sedletski
• Nokia N900 and Fiasco.OC/l4re   Valery V. Sedletski
• Nokia N900 and Fiasco.OC/l4re   Rahul Ramasubramanian
• Nokia N900 and Fiasco.OC/l4re   Valery V. Sedletski
• Nokia N900 and Fiasco.OC/l4re   Valery V. Sedletski
• Nokia N900 and Fiasco.OC/l4re   Rahul Ramasubramanian
• Nokia N900 and Fiasco.OC/l4re   Vasily Sartakov
• the booting error of l4linux   cheng guanghui
• the booting error of l4linux   Adam Lackorzynski
• pthread_exit in L4re   Adam Lackorzynski
• the booting error of l4linux   cheng guanghui
• the booting error of l4linux   cheng guanghui
• the booting error of l4linux   Adam Lackorzynski
• the booting error of l4linux   cheng guanghui
• Fiasco.OC   Daniel Waddington
• Fiasco.OC   Adam Lackorzynski
• libc environment for l4linux   Vasily Sartakov
• libc environment for l4linux   Adam Lackorzynski
• L4 for amd64   Daniel Müller
• L4 for amd64   Adam Lackorzynski
• L4 for amd64   Daniel Müller
• L4 for amd64   Adam Lackorzynski
• Fiasco.OC Kernel symbolic debugger   Daniel Waddington
• Newbie question: L4Linux as a patch   Pablo Chacin
• Fiasco.OC Kernel symbolic debugger   Adam Lackorzynski
• Newbie question: L4Linux as a patch   Adam Lackorzynski
• Newbie question: L4Linux as a patch   Pablo Chacin
• Newbie question: L4Linux as a patch   Adam Lackorzynski
• Fix IO-APIC/IRQ-Routing Bug (affects GSIs 24, 48, 72, ...)   Christian Ehrhardt
• Running the IO server   Anna Fischer
• Running the IO server   Adam Lackorzynski
• Running the IO server   Anna Fischer
• TLS on amd64   Daniel Müller
• TLS on amd64   Adam Lackorzynski
• TLS on amd64   Daniel Müller
• TLS on amd64   Adam Lackorzynski
• write my own root task.   Chen Tian
• write my own root task.   Adam Lackorzynski
• what is the difference between the 2 methods of booting hello demo   cheng guanghui
• how can i understand this description in the l4re-source document?   cheng guanghui
• l4-hackers Digest, Vol 99, Issue 11   Chen Tian
• writing my own filesystem for L4   Michal Schulz
• l4-hackers Digest, Vol 99, Issue 11   Adam Lackorzynski
• what is the difference between the 2 methods of booting hello demo   Adam Lackorzynski
• how can i understand this description in the l4re-source document?   Adam Lackorzynski
• writing my own filesystem for L4   Adam Lackorzynski
• how can i understand this description in the l4re-source document?   cheng guanghui
• what is the difference between the 2 methods of booting hello demo   cheng guanghui
• transfer_msg_items   Chen Tian
• transfer_msg_items   Chen Tian
• No configuration file found in build directory   Wesley Miaw
• No configuration file found in build directory   Adam Lackorzynski
• l4-hackers Digest, Vol 99, Issue 18   Wesley Miaw
• [ANNOUNCE] NOVA Microhypervisor 0.4 prerelease   Udo A. Steinberg
• L4Re Library Usage   Wesley Miaw
• L4Re Library Usage   Adam Lackorzynski
• CfP: Workshop on Isolation and Integration in Embedded Systems (IIES)   Michael Engel
• Dependencies   Bryce CR
• Dependencies   Bryce CR
• Sigma0 raised exception on boot   Anna Fischer
• L4Linux and mmap   Vasily Sartakov
• Sigma0 raised exception on boot   Adam Lackorzynski
• L4Linux and mmap   Adam Lackorzynski
• Dependencies   Adam Lackorzynski
• Sigma0 raised exception on boot   Anna Fischer
• question about read clock API in ARM   박찬주
• question about read clock API in ARM   cheng guanghui
• Test suite for Fiasco   Bryce CR
• Test suite for Fiasco   Adam Lackorzynski
• Test suite for Fiasco   Bryce CR
• Test suite for Fiasco   Adam Lackorzynski
• Test suite for Fiasco   Bryce CR
• Test suite for Fiasco   Adam Lackorzynski
• Building L4Re, make errors   giowck
• Building L4Re, make errors   Adam Lackorzynski
• Building L4Re, make errors   giowck
• [Fix] Small build fix for old Fiasco/L4Env version   Sebastian Sumpf
• [Fix] Small build fix for old Fiasco/L4Env version   Adam Lackorzynski
• Little fixup around pthreads   Marc CHALAND
• Little fixup around pthreads   Adam Lackorzynski
• Little fixup around pthreads   Marc CHALAND
• l4re-snapshot-2011081207 and l4android for arm: build error after update   giowck
• Little fixup around pthreads   Adam Lackorzynski
• Broken links in L4Re documentation   Michal Sojka
• l4re-snapshot-2011081207 and l4android for arm: build error after update   Adam Lackorzynski
• Broken links in L4Re documentation   Adam Lackorzynski
• L4Android bootstrap errors   giowck
• L4Android minor issue report   giowck
• L4Android minor issue report   Matthias Lange
• L4Android bootstrap errors   Matthias Lange
• How can I destroy a kernel object   Chen Tian
• L4Android servicemanager segfault   LeMay, Michael D
• How can I destroy a kernel object   Adam Lackorzynski
• L4Android servicemanager segfault   Matthias Lange
• L4Android servicemanager segfault   LeMay, Michael D
• L4Android servicemanager segfault   Matthias Lange
• L4Android bootstrap errors   giowck
• loading boot task   Chen Tian
• L4Android bootstrap errors   Adam Lackorzynski
• loading boot task   Adam Lackorzynski
• L4Re/L4Android specify RAM size on Beagleboard   giowck
• L4Re/L4Android specify RAM size on Beagleboard   Adam Lackorzynski
• loading boot task   Chen Tian
• build error: No rule to make target crtendS.o   Wesley Miaw
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• build error: No rule to make target crtendS.o   Wesley Miaw
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• build error: No rule to make target crtendS.o   Wesley Miaw
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• build error: No rule to make target crtendS.o   Wesley Miaw
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• build error: No rule to make target crtendS.o   Wesley Miaw
• build error: No rule to make target crtendS.o   Adam Lackorzynski
• Sigma0 raised exception on boot   Wesley Miaw
• L4Re/L4Android specify RAM size on Beagleboard   giowck
• pthread issue on ARM   Ivan Loskutov
• Sigma0 raised exception on boot   Adam Lackorzynski
• pthread issue on ARM   Adam Lackorzynski
• L4Re/L4Android specify RAM size on Beagleboard   Adam Lackorzynski
• pthread issue on ARM   Ivan Loskutov
• pthread issue on ARM   Adam Lackorzynski
• pthread issue on ARM   Ivan Loskutov
• VM API for TZ Decl != Impl   Wesley Miaw
• clntsrv example capabilities   Wesley Miaw
• clntsrv example capabilities   Adam Lackorzynski
• VM API for TZ Decl != Impl   Adam Lackorzynski
• l4 task map in different factory.   Chen Tian
• l4 task map in different factory.   Chen Tian
• L4Android/L4Linux Beagleboard framebuffer and driver   giowck
• l4 task map in different factory.   Adam Lackorzynski
• L4 courses   Slex Sangiuliano
• L4 courses   Marc Mauri Alloza
• L4 courses   Michael Roitzsch
• L4 courses   Gernot Heiser
• L4Android/L4Linux Beagleboard framebuffer and driver   Adam Lackorzynski
• L4 courses   Slex Sangiuliano
• L4Android/L4Linux Beagleboard framebuffer and driver   giowck
• L4Android/L4Linux Beagleboard framebuffer and driver   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• L4Android/L4Linux Beagleboard framebuffer and driver   giowck
• l4sigma0_map_iomem Allowed Addresses   Wesley Miaw
• Building L4Re   BratSinot aka Куршамбай
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• l4sigma0_map_iomem Allowed Addresses   Adam Lackorzynski
• L4Android/L4Linux Beagleboard framebuffer and driver   Adam Lackorzynski
• Building L4Re   Björn Döbel
• l4sigma0_map_iomem Allowed Addresses   Wesley at wesman.net
• Object-Capabilities and Physical Memory Mapping   François Goichon
• L4Android/L4Linux Beagleboard framebuffer and driver   Giorgio Wicklein
• Object-Capabilities and Physical Memory Mapping   Adam Lackorzynski
• L4Android/L4Linux Beagleboard framebuffer and driver   Adam Lackorzynski
• Problem with l4linux on real hardware   Shashi Sharma
• Object-Capabilities and Physical Memory Mapping   François Goichon
• Object-Capabilities and Physical Memory Mapping   Björn Döbel
• Ankh examples   Ivan Loskutov
• Ankh examples   Björn Döbel
• Ankh examples   Ivan Loskutov
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Problem with l4linux on real hardware   Adam Lackorzynski
• Problem with l4linux on real hardware   Shashi Sharma
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Problem with l4linux on real hardware   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• Problem with l4linux on real hardware   Shashi Sharma
• L4Android/L4Linux Beagleboard framebuffer and driver   Giorgio Wicklein
• Problem with l4linux on real hardware   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• Is there a way to build a non-PIC shared library with l4env?   Valery V. Sedletski
• L4Android/L4Linux Beagleboard framebuffer and driver   Giorgio Wicklein
• how can i download previous versions   gaober
• Mouse and keyboard on L4Android   Giorgio Wicklein
• Is there a way to build a non-PIC shared library with l4env?   Adam Lackorzynski
• how can i download previous versions   Adam Lackorzynski
• Mouse and keyboard on L4Android   Adam Lackorzynski
• l4sigma0_map_iomem Allowed Addresses   Adam Lackorzynski
• l4sigma0_map_iomem Allowed Addresses   Wesley Miaw
• Mouse and keyboard on L4Android   giowck
• v_insert() in Mem_space class for ARM architecture   Jung Hyun Yoo
• l4sigma0_map_iomem Allowed Addresses   Alexander Warg
• v_insert() in Mem_space class for ARM architecture   Alexander Warg
• Mouse and keyboard on L4Android   Adam Lackorzynski
• Running L4 linux on Beagle board   Julien SIMONE
• Running L4 linux on Beagle board   Adam Lackorzynski
• Running L4 linux on Beagle board   Francois Goichon
• omap3 usb platform and other   Vasily Sartakov
• omap3 platform drivers   Vasily Sartakov
• omap3 board config files   Vasily Sartakov
• Problem booting L4Linux   Julian Vetter
• Problem booting L4Linux   Bryce Cronkite-Ratcliff
• Problem booting L4Linux   Julian Vetter
• omap3 usb platform and other   Giorgio Wicklein
• omap3 usb platform and other   Adam Lackorzynski
• omap3 usb platform and other   Giorgio Wicklein
• omap3 usb platform and other   Giorgio Wicklein
• gcc: symbol lookup error: ...libgendep.so: undefined symbol: dlsym   Wesley Miaw
• Disko UI Framework porting   Ivan Loskutov
• gcc: symbol lookup error: ...libgendep.so: undefined symbol: dlsym   Adam Lackorzynski
• L4CON with client   Peter Hanzel
• Disko UI Framework porting   Adam Lackorzynski
• L4CON with client   Adam Lackorzynski
• L4CON with client   Peter Hanzel
• L4CON with client   Adam Lackorzynski
• Problem booting L4 on Sheevaplug   Julian Vetter
• L4CON with client   Peter Hanzel
• Booting multiple instances of L4 Linux   Julien SIMONE
• Problem booting L4 on Sheevaplug   Adam Lackorzynski
• Booting multiple instances of L4 Linux   Adam Lackorzynski
• kernel.ld.arm virt_address   Wesley Miaw
• Using different serial port for 2 linux instances   Julien SIMONE
• Using different serial port for 2 linux instances   Adam Lackorzynski
• kernel.ld.arm virt_address   Adam Lackorzynski
• kernel.ld.arm virt_address   Wesley Miaw
• L4Linux on PB11MPCORE boot hangs at   Varun Ganesh
• omap3 usb platform and other   Sartakov A. Vasily
• omap3 usb platform and other   Sartakov A. Vasily
• L4Linux on PB11MPCORE boot hangs at   Adam Lackorzynski
• omap3 usb platform and other   Adam Lackorzynski
• omap3 usb platform and other   Sartakov A. Vasily
• L4Linux modules PB11MPCORE   Varun Ganesh
• L4Linux modules PB11MPCORE   Varun Ganesh
• L4Linux modules PB11MPCORE   Adam Lackorzynski
• Bugs in Semaphore implementation in Fiasco.OC?   Chen Tian
• FOSDEM 2012 - Multiserver, microkernel-based operating systems devroom   Jakub Jermar
• omap3 usb platform and other   Sartakov A. Vasily
• omap3 usb platform and other   Sartakov A. Vasily
• Could not run L4Linux for testing   Adi Lima
• Bugs in Semaphore implementation in Fiasco.OC?   Adam Lackorzynski
• omap3 usb platform and other   Adam Lackorzynski
• Could not run L4Linux for testing   Adam Lackorzynski
• Getty over L4 shared memory   Julian Vetter
• Getty over L4 shared memory   Jan Böttger
• shmc bug fixes   Stefan Fritsch
• Genode OS Framework 11.11 released   Stefan Kalkowski
• Minimal Fiasco Testing Setup   Bryce Cronkite-Ratcliff
• l4shmnet bug fixed   Matthias Petschick
• Getty over L4 shared memory   Björn Döbel
• Getty over L4 shared memory   Björn Döbel
• shmc bug fixes   Adam Lackorzynski
• Minimal Fiasco Testing Setup   Adam Lackorzynski
• l4shmnet bug fixed   Adam Lackorzynski
• Cannot show fbterminal   Adi Lima
• Cannot show fbterminal   Adam Lackorzynski
• Using fbterminal with L4Con   Adi Lima
• Need help on l4_msgtag_has_error   Chen Tian
• Using fbterminal with L4Con   Adam Lackorzynski
• Need help on l4_msgtag_has_error   Adam Lackorzynski
• Silly Pthread Issues   brycecr at gmail.com
• Silly Pthread Issues   Adam Lackorzynski
• Building l4con lib and examples   Adi Lima
• Building l4con lib and examples   Adam Lackorzynski
• Build L4Re on amd64   BratSinot aka Куршамбай
• Build L4Re on amd64   Adam Lackorzynski
• Build L4Re on amd64   Christian Helmuth
• How to fix RAM size limit 256MB on realview-pbxa9 platform.   e.fedotov
• How to fix RAM size limit 256MB on realview-pbxa9 platform.   Adam Lackorzynski
• openssl port   Ivan Loskutov

Last message date: Wed Dec 28 08:44:46 CET 2011
Archived on: Tue Apr 13 12:03:55 CEST 2021

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