2012 Archives by author
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 Apr 13 12:03:56 CEST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).