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