2012 Archives by author

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

Starting: Mon Jan 2 16:35:12 CET 2012
Ending: Tue Dec 25 21:17:43 CET 2012
Messages: 543

• Serial console with qemu/realview-eb   Mehdi AICHOUCH
• Serial console with qemu/realview-eb   Mehdi AICHOUCH
• Start Linux inside a Vancouver VM using a virtual disk.   Mehdi AICHOUCH
• Start Linux inside a Vancouver VM using a virtual disk.   Mehdi AICHOUCH
• startstop test case of the NOVA-NUL microhypervisor   Mehdi AICHOUCH
• startstop test case of the NOVA-NUL microhypervisor   Mehdi AICHOUCH
• Nova+Nul one Execution Context suspend a second Execution Context   Mehdi AICHOUCH
• Nova+Nul one Execution Context suspend a second Execution Context   Nils Asmussen
• Tracing only write page-faults   Ivan Bludov
• NUL_problem   Alexander Boettcher
• NUL_problem   Alexander Boettcher
• startstop test case of the NOVA-NUL microhypervisor   Alexander Boettcher
• understanding l4re   Ryan Brown
• l4 linux questions   Ryan Brown
• l4linux build failure, and a few questions   Ryan Brown
• l4linux, making progress   Ryan Brown
• l4linux, making progress   Ryan Brown
• l4linux, making progress   Ryan Brown
• l4linux filesystem under fiasco-ux   Ryan Brown
• bootstrapper error   Ryan Brown
• apic   Ryan Brown
• how to use initramfs with l4linux   Ryan Brown
• Fiasco.OC development status   Robert Campbell
• Fiasco.OC development status   Robert Campbell
• Fiasco.OC development status   Robert Campbell
• l4-hackers Digest, Vol 110, Issue 18   Robert Campbell
• L4Re GUI   Robert Campbell
• L4Re GUI   Robert Campbell
• L4Re GUI   Robert Campbell
• L4Linux direct access   Riccardo Cecolin
• L4Linux direct access   Riccardo Cecolin
• L4Linux direct access   Riccardo Cecolin
• GHC on L4RE   Henri Chapelle
• Fiasco.OC on Cortex-A9   Johan Dams
• Fiasco.OC on Cortex-A9   Johan Dams
• Fiasco.OC on Cortex-A9   Johan Dams
• Ankh network   Johan Dams
• adding libraries to L4/fiasco & L4re   Johan Dams
• App on L4Re   Johan Dams
• Raspberry pi ?   Johan Dams
• how to start wget example?   Björn Döbel
• Ankh with l4Linux   Björn Döbel
• Ankh with l4Linux   Björn Döbel
• Ankh with l4Linux   Björn Döbel
• Fiasco.OC development status   Björn Döbel
• Bind irq to icu failed   Björn Döbel
• how to start wget example?   Björn Döbel
• Bind irq to icu failed   Björn Döbel
• Bind irq to icu failed   Björn Döbel
• [l4linux+ankh] no eth0   Björn Döbel
• support for multi-core in Fiasco.OC   Björn Döbel
• Fiasco.OC development status   Björn Döbel
• understanding l4re   Björn Döbel
• understanding l4re   Björn Döbel
• IPC between Tasks   Björn Döbel
• L4 Driver Security   Björn Döbel
• L4 Driver Security   Björn Döbel
• Questions about Shared Memory Area and IRQ   Björn Döbel
• Build of ipcmon under Ubuntu 12.04   Björn Döbel
• Build of ipcmon under Ubuntu 12.04   Björn Döbel
• Question about L4Linux   Björn Döbel
• Get lost in Fiasco.OC regarding the io-apic IRQ number and CPU interrupt numbers   Christian Ehrhardt
• Problem Booting x86_64 kernel in qemu   Christian Ehrhardt
• In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)   Philipp Eppelt
• Qusestion about building L4Re   FU_LONG
• error of building fiasco.OC   FU_LONG
• L4linux on virtual box   FU_LONG
• Running Fiasco.OC in Bochs   Norman Feske
• Fwd: Running Fiasco.OC in Bochs   Norman Feske
• Running Fiasco.OC in Bochs   Norman Feske
• [Announcement] Karma VMM first public release   Norman Feske
• [Announcement] Karma VMM first public release   Norman Feske
• Fiasco.OC: sigma0 stucks in ipc-path   Norman Feske
• L4Re GUI   Norman Feske
• Our experience with Fiasco.OC + Genode on the Pandaboard   Norman Feske
• Our experience with Fiasco.OC + Genode on the Pandaboard   Norman Feske
• L4Android and L4Linux parallel on an i.MX53   Tobias Fink
• L4Android and L4Linux parallel on an i.MX53   Tobias Fink
• L4Android and L4Linux parallel on an i.MX53   Tobias Fink
• L4Android and L4Linux parallel on an i.MX53   Tobias Fink
• L4Android and L4Linux parallel on an i.MX53   Tobias Fink
• IPC between Tasks   Tobias Fink
• IPC between Tasks   Tobias Fink
• IPC between Tasks   Tobias Fink
• IPC between Tasks   Tobias Fink
• IPC between Tasks   Tobias Fink
• L4 Driver Security   Tobias Fink
• Serial console with qemu/realview-eb   Stefan Fritsch
• Serial console with qemu/realview-eb   Stefan Fritsch
• shmc/l4shmnet improvements   Stefan Fritsch
• ARM and PCI?   Stefan Fritsch
• shmc/l4shmnet improvements   Stefan Fritsch
• shmc/l4shmnet improvements   Stefan Fritsch
• i.mx53 and fiasco.oc   Nikolay Golikov
• Fiasco.oc & trustzone   Nikolay Golikov
• Mapping physical mem region   Nikolay Golikov
• Fiasco.oc & trustzone   Nikolay Golikov
• Fiasco.oc & trustzone   Nikolay Golikov
• Fiasco.oc & trustzone   Nikolay Golikov
• Fiasco.oc & trustzone   Nikolay Golikov
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4-hackers Digest, Vol 110, Issue 14   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• l4linux GPU direct access   Abhishek Gupta
• Fiasco-for ppc32   Vishal Gupta
• Using pthread on L4/Fiasco   Marcus Haehnel
• problem about ipc   Marcus Haehnel
• Keeping track of the CPU time for a thread   Mohammad A Haque
• Keeping track of the CPU time for a thread   Mohammad A Haque
• Bind irq to icu failed   Christian Helmuth
• Granting flex pages in Fiasco.OC / L4Re   Christian Helmuth
• TUD:OS releases DDEKit/Linux   Christian Helmuth
• libgendep on Ubuntu 11.10   Christian Helmuth
• libgendep on Ubuntu 11.10   Christian Helmuth
• Fiasco.OC: sigma0 stucks in ipc-path   Christian Helmuth
• Announcement: Genode 12.08 improves NOVA and ARM support   Christian Helmuth
• PowerPC support   Oliver Horst
• PowerPC support   Oliver Horst
• Issues with booting L4Linux   Oliver Horst
• In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)   Ildar
• In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)   Ildar Ismagilov
• IPC between Tasks   Michael Jahn
• problem booting L4Linux   Death Jester
• Problem with "luaopen_Io"   Death Jester
• l4-hackers Digest, Vol 115, Issue 18   Death Jester
• Questions about Vcon.   Juwon.Song
• Trustzone & Fiasco.OC   Stefan Kalkowski
• Trustzone & Fiasco.OC   Stefan Kalkowski
• Granting flex pages in Fiasco.OC / L4Re   Stefan Kalkowski
• Fiasco.OC (rev. 40) Pandaboard support   Stefan Kalkowski
• Fiasco.OC (rev. 40) Pandaboard support   Stefan Kalkowski
• FOSDEM 2013 - Microkernels / Component-based OSes devroom   Stefan Kalkowski
• FOSDEM 2013 - Microkernels / Component-based OSes devroom   Stefan Kalkowski
• FOSDEM 2013 - Microkernels / Component-based OSes devroom   Stefan Kalkowski
• openssl port   Adam Lackorzynski
• Initial environnement issue   Adam Lackorzynski
• L4Re build system   Adam Lackorzynski
• race condition in obj_space-virt.cpp ?   Adam Lackorzynski
• l4-hackers Digest, Vol 105, Issue 5   Adam Lackorzynski
• Fiasco.OC x86 IO port permission bitmap   Adam Lackorzynski
• Fiasco.OC x86 IO port permission bitmap   Adam Lackorzynski
• l4-hackers Digest, Vol 105, Issue 9   Adam Lackorzynski
• Sharing I/O Memory   Adam Lackorzynski
• Sharing I/O Memory   Adam Lackorzynski
• Sharing I/O Memory   Adam Lackorzynski
• Sharing I/O Memory   Adam Lackorzynski
• L4Linux direct access   Adam Lackorzynski
• L4Linux direct access   Adam Lackorzynski
• L4Linux direct access   Adam Lackorzynski
• Memory sharing between user and kernel   Adam Lackorzynski
• IRET returned message   Adam Lackorzynski
• PowerPC support   Adam Lackorzynski
• Serial console with qemu/realview-eb   Adam Lackorzynski
• page mapping in l4linux   Adam Lackorzynski
• PowerPC support   Adam Lackorzynski
• L4Android and L4Linux parallel on an i.MX53   Adam Lackorzynski
• NFS boot   Adam Lackorzynski
• Ankh with l4Linux   Adam Lackorzynski
• APIC trigger mode   Adam Lackorzynski
• Issues with booting L4Linux   Adam Lackorzynski
• shmc/l4shmnet improvements   Adam Lackorzynski
• ARM and PCI?   Adam Lackorzynski
• L4Android kernel didn't intialize L4 stack for the server thread.   Adam Lackorzynski
• Question on sending capability through IPC   Adam Lackorzynski
• libgendep on Ubuntu 11.10   Adam Lackorzynski
• L4Android kernel didn't intialize L4 stack for the server thread.   Adam Lackorzynski
• libgendep on Ubuntu 11.10   Adam Lackorzynski
• Tracing only write page-faults   Adam Lackorzynski
• Source of KVM-L4 ?   Adam Lackorzynski
• Can't get sender from l4_ipc_wait()   Adam Lackorzynski
• FPU state management in L4Fiasco.OC program   Adam Lackorzynski
• Source of KVM-L4 ?   Adam Lackorzynski
• FPU state management in L4Fiasco.OC program   Adam Lackorzynski
• Questions about Vcon.   Adam Lackorzynski
• FPU state management in L4Fiasco.OC program   Adam Lackorzynski
• Can't get sender from l4_ipc_wait()   Adam Lackorzynski
• L4Android and L4Linux parallel on an i.MX53   Adam Lackorzynski
• shmc/l4shmnet improvements   Adam Lackorzynski
• FPU state management in L4Fiasco.OC program   Adam Lackorzynski
• Bootfs got overwritten   Adam Lackorzynski
• Windows in QEMU on KVM-L4   Adam Lackorzynski
• L4Android and L4Linux parallel on an i.MX53   Adam Lackorzynski
• IGB driver not getting Rx interrupt   Adam Lackorzynski
• Bootfs got overwritten   Adam Lackorzynski
• Performance of l4_task_unmap call   Adam Lackorzynski
• IGB driver not getting Rx interrupt   Adam Lackorzynski
• [ankh+l4linux] Doesn't work   Adam Lackorzynski
• IGB driver not getting Rx interrupt   Adam Lackorzynski
• IGB driver not getting Rx interrupt   Adam Lackorzynski
• I have a question about L4Linux   Adam Lackorzynski
• [l4ankh] Problems with fixed l4ankh   Adam Lackorzynski
• Fiasco.OC: sigma0 stucks in ipc-path   Adam Lackorzynski
• Debugging l4linux + l4re   Adam Lackorzynski
• I have a question about L4Linux   Adam Lackorzynski
• [l4ankh] Problems with fixed l4ankh   Adam Lackorzynski
• L4linux   Adam Lackorzynski
• Fiasco.OC: sigma0 stucks in ipc-path   Adam Lackorzynski
• Fiasco.OC: sigma0 stucks in ipc-path   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• I have a question about l4linux   Adam Lackorzynski
• Hardware irq and vcpu entry   Adam Lackorzynski
• l4 linux questions   Adam Lackorzynski
• Startup help for L4Linux   Adam Lackorzynski
• porting file system for L4/fiasco & L4re   Adam Lackorzynski
• I have a question about l4linux   Adam Lackorzynski
• Connect two devices to vbus   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• Keeping track of the CPU time for a thread   Adam Lackorzynski
• l4-hackers Digest, Vol 110, Issue 18   Adam Lackorzynski
• l4linux build failure, and a few questions   Adam Lackorzynski
• how to build L4android for ARM?   Adam Lackorzynski
• starting mag in l4con virtual console   Adam Lackorzynski
• l4con   Adam Lackorzynski
• Keeping track of the CPU time for a thread   Adam Lackorzynski
• starting mag in l4con virtual console   Adam Lackorzynski
• l4linux, making progress   Adam Lackorzynski
• l4linux, making progress   Adam Lackorzynski
• Startup help for L4Linux   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• L4Android performance issue   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• bbclone fbdrv lcd problem   Adam Lackorzynski
• Tasks priority and time slice   Adam Lackorzynski
• Questions about L4 virtual machines   Adam Lackorzynski
• L4Android performance issue   Adam Lackorzynski
• L4Re GUI   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• problem about ipc   Adam Lackorzynski
• L4Android performance issue   Adam Lackorzynski
• L4Re GUI   Adam Lackorzynski
• L4Android performance issue   Adam Lackorzynski
• Build an hybrid program   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• l4linux GPU direct access   Adam Lackorzynski
• SATA AHCI driver head banging.   Adam Lackorzynski
• About Inter-process Communication   Adam Lackorzynski
• l4 build problem on Intel Atom 330   Adam Lackorzynski
• l4 build problem on Intel Atom 330   Adam Lackorzynski
• vcpu example problem   Adam Lackorzynski
• l4-hackers Digest, Vol 112, Issue 3   Adam Lackorzynski
• i.MX53QSB port + IOmem access   Adam Lackorzynski
• i.MX53QSB port + IOmem access   Adam Lackorzynski
• i.MX53QSB port + IOmem access   Adam Lackorzynski
• i.MX53QSB port + IOmem access   Adam Lackorzynski
• Problem Booting x86_64 kernel in qemu   Adam Lackorzynski
• Problem Booting x86_64 kernel in qemu   Adam Lackorzynski
• Fiasco-for ppc32   Adam Lackorzynski
• L4Re/Fiasco IO memory map.   Adam Lackorzynski
• dma memory mapping   Adam Lackorzynski
• Issues in l4re-snapshot-2012081219 for ARM   Adam Lackorzynski
• i.mx53 and fiasco.oc   Adam Lackorzynski
• Local APIC address and MSI address   Adam Lackorzynski
• l4linux filesystem under fiasco-ux   Adam Lackorzynski
• Mapping physical mem region   Adam Lackorzynski
• Startup help for L4Linux   Adam Lackorzynski
• Fiasco.oc & trustzone   Adam Lackorzynski
• Fiasco.oc & trustzone   Adam Lackorzynski
• a question about L4_MAP_ITEM_GRANT   Adam Lackorzynski
• Fiasco.oc & trustzone   Adam Lackorzynski
• Board-specific devices in L4Linux   Adam Lackorzynski
• Fiasco.oc & trustzone   Adam Lackorzynski
• problem booting L4Linux   Adam Lackorzynski
• Fiasco.oc & trustzone   Adam Lackorzynski
• Page Fault on real hardware   Adam Lackorzynski
• Page Fault on real hardware   Adam Lackorzynski
• how to get Task   Adam Lackorzynski
• 1G memory for L4Linux on Panda   Adam Lackorzynski
• Compiling l4re on ubuntu 12.10   Adam Lackorzynski
• bug report: compile about l4re   Adam Lackorzynski
• bootstrapper error   Adam Lackorzynski
• Touchscreen   Adam Lackorzynski
• Fiasco.OC Kernel Semaphores r38->r40   Adam Lackorzynski
• Touchscreen   Adam Lackorzynski
• Full Virtulization for Trustzone   Adam Lackorzynski
• l4linux kernel as input server   Adam Lackorzynski
• Problem with "luaopen_Io"   Adam Lackorzynski
• Full Virtualization with Trustzone   Adam Lackorzynski
• Question about L4Linux   Adam Lackorzynski
• App on L4Re   Adam Lackorzynski
• App on L4Re   Adam Lackorzynski
• App on L4Re   Adam Lackorzynski
• Qusestion about building L4Re   Adam Lackorzynski
• App on L4Re   Adam Lackorzynski
• apic   Adam Lackorzynski
• error of building fiasco.OC   Adam Lackorzynski
• L4linux on virtual box   Adam Lackorzynski
• Page tables apparently don't get completely freed on 64-bit Fiasco.OC   Adam Lackorzynski
• L4Android and L4Linux parallel on an i.MX53   Matthias Lange
• L4Android and L4Linux parallel on an i.MX53   Matthias Lange
• [Announcement] Karma VMM first public release   Matthias Lange
• Booting L4/Fiasco + L4Re on PC   Matthias Lange
• L4Android on Pandaboard   Matthias Lange
• L4Android on Pandaboard   Matthias Lange
• L4Android on Pandaboard   Matthias Lange
• Startup help for L4Linux   Matthias Lange
• Questions about L4 virtual machines   Matthias Lange
• Ethernet device   Matthias Lange
• Ethernet device   Matthias Lange
• Ethernet device   Matthias Lange
• Ethernet device   Matthias Lange
• Page Fault on real hardware   Matthias Lange
• Touchscreen   Matthias Lange
• Touchscreen   Matthias Lange
• Touchscreen   Matthias Lange
• Touchscreen   Matthias Lange
• Touchscreen   Matthias Lange
• App on L4Re   Matthias Lange
• No known ld emulation found   Matthias Lange
• Hardware irq and vcpu entry   Pierre Larus
• Connect two devices to vbus   Pierre Larus
• Mount SD card partition as rootfs   Pierre Larus
• Tasks priority and time slice   Pierre Larus
• Build an hybrid program   Pierre Larus
• [Announcement] Karma VMM first public release   Steffen Liebergeld
• L4Re build system   Ivan Loskutov
• Issues in l4re-snapshot-2012081219 for ARM   Ivan Loskutov
• App on L4Re   Christian Ludwig
• support for multi-core in Fiasco.OC   K M
• PowerPC support   G S Madhusudan
• L4Android kernel didn't intialize L4 stack for the server thread.   Mai, Haohui
• Question on sending capability through IPC   Mai, Haohui
• L4Android kernel didn't intialize L4 stack for the server thread.   Haohui Mai
• Can't get sender from l4_ipc_wait()   Mai, Haohui
• FPU state management in L4Fiasco.OC program   Mai, Haohui
• FPU state management in L4Fiasco.OC program   Mai, Haohui
• FPU state management in L4Fiasco.OC program   Mai, Haohui
• FPU state management in L4Fiasco.OC program   Mai, Haohui
• Can't get sender from l4_ipc_wait()   Haohui Mai
• FPU state management in L4Fiasco.OC program   Mai, Haohui
• Bootfs got overwritten   Haohui Mai
• Bootfs got overwritten   Haohui Mai
• Bootfs got overwritten   Mai, Haohui
• Bootfs got overwritten   Mai, Haohui
• Bootfs got overwritten   Haohui Mai
• Debugging l4linux + l4re   Haohui Mai
• L4Android performance issue   Haohui Mai
• L4Android performance issue   Mai, Haohui
• L4Android performance issue   Mai, Haohui
• L4Android performance issue   Mai, Haohui
• Sharing I/O Memory   Wesley Miaw
• Sharing I/O Memory   Wesley Miaw
• Sharing I/O Memory   Wesley Miaw
• Sharing I/O Memory   Wesley Miaw
• Trustzone & Fiasco.OC   Wesley Miaw
• Call for Papers: System Software Verification Conference (SSV 2012)   Toby Murray
• Compiling l4re on ubuntu 12.10   Ali Nehzat
• App on L4Re   OSDepend
• Question about L4Linux   OSDepend
• App on L4Re   OSDepend
• App on L4Re   OSDepend
• Question about L4Linux   OSDepend
• App on L4Re   OSDepend
• App on L4Re   OSDepend
• App on L4Re   OSDepend
• Build of ipcmon under Ubuntu 12.04   Dustin Oprea
• Build of ipcmon under Ubuntu 12.04   Dustin Oprea
• Problem Booting x86_64 kernel in qemu   Markus Pfeiffer
• Problem Booting x86_64 kernel in qemu   Markus Pfeiffer
• Problem Booting x86_64 kernel in qemu   Markus Pfeiffer
• Page tables apparently don't get completely freed on 64-bit Fiasco.OC   Christian Prochaska
• Fiasco.OC development status   QiuYi
• I have a question about L4Linux   Ednilson Ricardo
• I have a question about L4Linux   Ednilson Ricardo
• I have a question about L4Linux   Ednilson Ricardo
• I have a question about l4linux   Ednilson Ricardo
• I have a question about l4linux   Ednilson Ricardo
• I have a question about l4linux   Ednilson Ricardo
• I have a question about l4linux   Ednilson Ricardo
• Raspberry pi ?   Torsten Rüger
• No known ld emulation found   Torsten Rüger
• No known ld emulation found   Torsten Rüger
• Startup help for L4Linux   Andrej S
• Startup help for L4Linux   Andrej S
• Startup help for L4Linux   Andrej S
• Initial environnement issue   Julien SIMONE
• starting mag in l4con virtual console   Valery V. Sedletski
• l4con   Valery V. Sedletski
• starting mag in l4con virtual console   Valery V. Sedletski
• starting mag in l4con virtual console   Valery V. Sedletski
• L4Re GUI   Valery V. Sedletski
• L4Re GUI   Valery V. Sedletski
• Build of ipcmon under Ubuntu 12.04   Valery V. Sedletski
• Ankh with l4Linux   Shashi Sharma
• Ankh with l4Linux   Shashi Sharma
• Ankh with l4Linux   Shashi Sharma
• Ankh with l4Linux   Shashi Sharma
• Bind irq to icu failed   Shashi Sharma
• Bind irq to icu failed   Shashi Sharma
• Bind irq to icu failed   Shashi Sharma
• [l4linux+ankh] no eth0   Shashi Sharma
• Bind irq to icu failed   Shashi Sharma
• IGB driver not getting Rx interrupt   Shashi Sharma
• IGB driver not getting Rx interrupt   Shashi Sharma
• IGB driver not getting Rx interrupt   Shashi Sharma
• IGB driver not getting Rx interrupt   Shashi Sharma
• Board-specific devices in L4Linux   Dmitry Shubin
• Source of KVM-L4 ?   Rolf Sommerhalder
• Source of KVM-L4 ?   Rolf Sommerhalder
• Windows in QEMU on KVM-L4   Rolf Sommerhalder
• IGB driver not getting Rx interrupt   Julian Stecklina
• [Announcement] Karma VMM first public release   Julian Stecklina
• Our experience with Fiasco.OC + Genode on the Pandaboard   Julian Stecklina
• App on L4Re   Julian Stecklina
• Start Linux inside a Vancouver VM using a virtual disk.   Julian Stecklina
• Qusestion about building L4Re   Julian Stecklina
• Questions about IO-APIC   Udo Steinberg
• Questions about IO-APIC   Udo Steinberg
• Questions about IO-APIC   Udo Steinberg
• APIC trigger mode   Sebastian Sumpf
• APIC trigger mode   Sebastian Sumpf
• race condition in obj_space-virt.cpp ?   Chen Tian
• l4-hackers Digest, Vol 105, Issue 5   Chen Tian
• Performance of l4_task_unmap call   Chen Tian
• Questions about IO-APIC   Chen Tian
• Questions about IO-APIC   Chen Tian
• Questions about IO-APIC   Chen Tian
• Get lost in Fiasco.OC regarding the io-apic IRQ number and CPU interrupt numbers   Chen Tian
• dma memory mapping   Chen Tian
• Local APIC address and MSI address   Chen Tian
• Local APIC cannot deliver MSI to CPU (Fiasco.OC) ?   Chen Tian
• a question about L4_MAP_ITEM_GRANT   Chen Tian
• how to start wget example?   Timur
• how to start wget example?   Timur
• how to start wget example?   Timur
• [l4linux+ankh] no eth0   Timur
• [l4linux+ankh] no eth0   Timur
• Bind irq to icu failed   Timur
• [ankh+l4linux] Doesn't work   Timur
• [l4ankh] Problems with fixed l4ankh   Timur
• [l4ankh] Problems with fixed l4ankh   Timur
• Fwd: Running Fiasco.OC in Bochs   Martin Unzner
• Touchscreen   Martin Unzner
• [Announcement] Karma VMM first public release   John van V.
• L4Android effort appreciated   John van V.
• how to start wget example?   Sartakov A. Vasily
• NFS boot   Sartakov A. Vasily
• [l4linux+ankh] no eth0   Sartakov A. Vasily
• [l4linux+ankh] no eth0   Sartakov A. Vasily
• L4linux   Sartakov A. Vasily
• I have a question about l4linux   Sartakov A. Vasily
• IPC between Tasks   Sartakov A. Vasily
• Mount SD card partition as rootfs   Sartakov A. Vasily
• L4Re GUI   Sartakov A. Vasily
• Serial console with qemu/realview-eb   Julian Vetter
• IRET returned message   Julian Vetter
• l4 build problem on Intel Atom 330   Anand Mayuresh Vivekanad
• l4 build problem on Intel Atom 330   Anand Mayuresh Vivekanad
• Touchscreen   Dirk Vogt
• About ARM11 support   Marcus Völp
• Raspberry pi ?   Marcus Völp
• Fiasco.OC x86 IO port permission bitmap   Daniel Waddington
• Fiasco.OC x86 IO port permission bitmap   Daniel Waddington
• Fiasco.OC x86 IO port permission bitmap   Daniel Waddington
• Granting flex pages in Fiasco.OC / L4Re   Daniel Waddington
• Granting flex pages in Fiasco.OC / L4Re   Daniel Waddington
• Granting flex pages in Fiasco.OC / L4Re   Daniel Waddington
• SATA AHCI driver head banging.   Daniel Waddington
• L4Re/Fiasco IO memory map.   Daniel Waddington
• L4Re/Fiasco IO memory map.   Daniel Waddington
• Fiasco.OC Kernel Semaphores r38->r40   Daniel Waddington
• i.MX53QSB port + IOmem access   Andy Wagner
• i.MX53QSB port + IOmem access   Andy Wagner
• i.MX53QSB port + IOmem access   Andy Wagner
• i.MX53QSB port + IOmem access   Andy Wagner
• bug report: compile about l4re   Wangjintang
• APIC trigger mode   Alexander Warg
• l4_task_cap_equal broken?   Alexander Warg
• Fiasco.OC (rev. 40) Pandaboard support   Alexander Warg
• No known ld emulation found   Carsten Weinhold
• TUD:OS releases DDEKit/Linux   Hannes Weisbach
• Ethernet device   Wajidali Whowe
• Ethernet device   Wajidali Whowe
• Ethernet device   Wajidali Whowe
• Ethernet device   Wajidali Whowe
• Ethernet device   Wajidali Whowe
• Page Fault on real hardware   Wajidali Whowe
• Page Fault on real hardware   Wajidali Whowe
• Page Fault on real hardware   Wajidali Whowe
• Page Fault on real hardware   Wajidali Whowe
• Page Fault on real hardware   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• Touchscreen   Wajidali Whowe
• l4linux kernel as input server   Wajidali Whowe
• how to build L4android for ARM?   Jay Yao
• L4Android on Pandaboard   ZhangEditing
• Questions about L4 virtual machines   ZhangEditing
• About Inter-process Communication   ZhangEditing
• Questions about Shared Memory Area and IRQ   ZhangEditing
• App on L4Re   Josh Zhao
• bbclone fbdrv lcd problem   gaober
• problem about ipc   gaober
• problem about ipc   gaober
• input signal   gaober
• how to start wget example?   galiullintimur at gmail.com
• About ARM11 support   james
• l4-hackers Digest, Vol 105, Issue 9   jangwoo
• page mapping in l4linux   jangwoo
• help l4linux dma usage   jangwoo
• l4_task_cap_equal broken?   Stefan kalkowski
• l4_task_cap_equal broken?   Stefan kalkowski
• Fiasco.OC: sigma0 stucks in ipc-path   Stefan kalkowski
• Fiasco.OC: sigma0 stucks in ipc-path   Stefan kalkowski
• Fiasco.OC: sigma0 stucks in ipc-path   Stefan kalkowski
• Trustzone Dual-OS   meng-qy
• Trustzone Dual-OS   meng-qy
• Full virtualization with Trustzone   meng-qy
• Full Virtulization for Trustzone   meng-qy
• Full Virtualization with Trustzone   meng-qy
• porting file system for L4/fiasco & L4re   mkmaeng
• porting file system for L4/fiasco & L4re   mkmaeng
• omap4.dev config file for PandaBoard   sebastian.eckl at mytum.de
• NUL_problem   oleg
• NUL_problem   oleg
• NUL_problem   oleg
• l4-hackers Digest, Vol 112, Issue 3   raylei0825ssdut
• l4-hackers Digest, Vol 105, Issue 9   sasamy
• adding libraries to L4/fiasco & L4re   smkim
• 1G memory for L4Linux on Panda   Владимир Шилкин
• how to get Task   朱振
• get memory size each task uses   朱振
• how to run the vm-tz example?   朱振
• vcpu example problem   雷雷健
• Booting L4/Fiasco + L4Re on PC   석현철
• Using pthread on L4/Fiasco   석현철
• Using pthread on L4/Fiasco   석현철
• Memory sharing between user and kernel   안영호

Last message date: Tue Dec 25 21:17:43 CET 2012
Archived on: Tue Dec 25 21:17:56 CET 2012

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