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