2006 Archives by thread
Starting: Tue Jan 3 19:29:53 CET 2006
Ending: Fri Dec 29 18:22:05 CET 2006
Messages: 677
- grub-0.97 problem
Der Herr Hofrat
- L4Linux (dm_phys?) problem
Jugwan Eom
- l4linux-2.6 compilation: acpi problems: undefined reference *acpi*
Konstantinos Pachopoulos
- Ada on L4 questions ...
Frederic BOYER
- log_net does not work
Arthur Mielimonka
- hello and question from a l4 beginner
Xavier Grave
- SPEC CPU 2000 Benchmarks
Julian Grizzard
- problems with drops <math.h> and '-lm' linkage
Vladimir Nikolov
- gdb remote debugging + shared video ram question
s6994440 at mail.inf.tu-dresden.de
- Ada L4
Frederic BOYER
- Lovelace Web-Site
Frederic BOYER
- Fiasco and L4Linux for ARM926 (Nokia770)
Delitsyn Igor
- PowerPC interrupt setup
Matthias Lange
- Ore on Intel Pro/1000
Michael Scheibel
- are there any more detailed document?
Liu Jian
- Question about UTCB
Jonathan S. Shapiro
- trying to launch a server
Xavier Grave
- make hello stops with an error
Delitsyn Igor
- L4.Sec Implementation
Anton Soppelsa
- l4linux-2.6 build error
Sungkwan Heo
- L4::Pistachio ARM GNU toolchain
Shakthi Kannan
- What is trampoline.S for?
BVK Groups
- Update on NICTA's secure embedded L4 project
Kevin Elphinstone
- config for 2 L4Linux instances
Sungkwan Heo
- some weird performance result
Sungkwan Heo
- Reloading L4Linux problem
Jugwan Eom
- Announce: OS Group of TU Dresden (TUD:OS) releases Live-Demo CD
Norman Feske
- L4Linux without libloader?
Daniel Vandersee
- Strange L4Linux behavior
Jugwan Eom
- Why don't I have /bin/ directory in L4
chenggh04 at st.lzu.edu.cn
- I have new problem!
chenggh04 at st.lzu.edu.cn
- Building the environment fails
Stefan Schulz
- Static Linux kernel, anyone?
Stefan Schulz
- L4Linux and AMD64
Zephiris
- attempted fix for asm in oskit cpuid.c
spooq
- L4Linux booting failed
chenggh04 at st.lzu.edu.cn
- fiasco-ux does not build
Stefan Scheler
- About l4.sec schedule
Wei Shen
- Getting Started...
Colin Burgess
- [EMSCB] L4Linux + IPC
Oskar Senft
- MIKES 2006 - Call for Papers
Ihor Kuz
- error build docs?
Colin Burgess
- L4Env and L4 version X.2.
sethb
- Fiasco hello world problem..
raghavendra pai
- The question about flexpage
강후영
- TCP/IP between L4Linux and L4 task
Stefan Scheler
- [Fwd: Re: TCP/IP between L4Linux and L4 task]
Bjoern Doebel
- L4Linux freezes
Vilmos Nebehaj
- con-ux bug?
Wei Shen
- DoS problem still existing?
Robert Kaiser
- test
Luke A. Guest
- sigma1
Luke A. Guest
- ore with fiasco-ux
Jeff Hieb
- NICTA's virtualised Linux faster than native on L4-embedded
Gernot Heiser
- DROPS and ARM
Christian Roepke
- Fiaco and ARM
Christian Roepke
- l4vfs, flips
David Silcott
- unable to compile flips
David Silcott
- building l4env (fuxfprov error)
David Silcott
- another FLIPS build problem
David Silcott
- The booting error of L4Linux-2.6 on fiasco
chenggh
- The "region overlap" problem in the L4/Fiasco hello example
chenggh
- Building with GCC 4.1
Michael J. Emswiler
- Please Ignore: Building with GCC 4.1
Michael J. Emswiler
- Multiprocessor Fiasco? Drops on Pistachio?
Michael J. Emswiler
- Build Issues
Michael J. Emswiler
- Build problems with dice
Tonnerre Lombard
- Build problems with make 3.81rc2
Oskar Senft
- Compiling DROPS with GCC 4
Oskar Senft
- MIKES 2006 workshop update
Ihor Kuz
- Binary Compatibility of compiled programs in different DROPS versions?
Arthur Mielimonka
- L4Env / DOPE Question
Michael J. Emswiler
- Userland (UX) Runtime
Michael J. Emswiler
- panic in L4Linux booting process
chenggh
- Running L4Linux on fiasco-ux?
Michael J. Emswiler
- gdb on Fiasco
FERANDELLE Pascal
- DICE_NO_REPLY error
Michael Scheibel
- The future of L4
Guillaume FORTAINE
- multithreaded tcp echo server problem & flips
David Silcott
- Semaphore library error on L4Env/Fiasco-UX
Andreas Niederl
- Invalid l4x_hybrid_return ?
Oskar Senft
- Can we really think at a new OS design nowadays ?
Guillaume FORTAINE
- GDB on Fiasco-UX?
Andreas Niederl
- L4 Semaphore in L4Linux
Oskar Senft
- exec doesn't respect all_sects_writable
Andreas Niederl
- L4Linux + Fiasco-ux
Daniel Vandersee
- L4Linux output on serial line?
Andreas Niederl
- L4Linux with serial console / IRQ usage
Andreas Niederl
- current_thread_info
Oskar Senft
- L4Linux-2.6.17 on Fiasco
FERANDELLE Pascal
- l4linux-2.6 does not build
Stefan Scheler
- L4 bug report
chenggh
- Problem of l4lx_thread kmalloc
강후영
- Booting L4Linux/Fiasco with root=/dev/hda
FERANDELLE Pascal
- No keyboard with L4Linux
FERANDELLE Pascal
- TPM Emulator with L4Linux
Andreas Niederl
- Amount of threads per task?
Oskar Senft
- L4Linux threads - interrupt context
Oskar Senft
- L4.sec implementation and formal verification
William DUCK
- NICTA-Ericsson secure-OS collaboration
Gernot Heiser
- How can I download the L4Linux-2.6.16
chenggh
- Is there a service in L4 packages like shell in Linux?
chenggh
- No mouse with L4Linux/DOpE
FERANDELLE Pascal
- Project Ideas?
Eric M. Hielscher
- dice bug?
Spring, Ryan C
- As a beginner, hello, not working due to trap...
조완근
- Documentation generation and the build directory
Andreas Niederl
- get error when compiling fiasco-1.1 with gcc 4.1.2
Zheng Da
- Drops BID questions
Andreas Niederl
- List of L4Linux kernel parameters
Andreas Niederl
- PXE enabled GRUB
Adam Lackorzynski
- The fiasco kernel and roottask I build are too large to put in the floppy.
Zheng Da
- Maybe it is a bug of L4/Fiasco or L4Linux
chenggh
- L4 Bootimage tools
Spring, Ryan C
- IO address acess on L4linux for ARM
김광식
- L4Linux and USB mass storage
Andreas Niederl
- L4Linux on Xscale
Wan-Keun Jo
- Difference between Fiasco and L4Linux...
Dustin Oprea
- TFTP does not work with QEMU
Daniel Vandersee
- crt0_tramppage
Ratko Rudič
- L4 and ARM TrustZone
Francis M. David
- Assertion failed in Fiasco-UX
Marcel Winandy
- vbe info block
Ratko Rudič
- how-to questions
Ratko Rudič
- Boot problem with the new version of l4linux on Xscale
WanKeun Jo
- Fiasco.image with debugging information
김광식
- How does Fiasco implement hard real-time function?
chenggh
- Cannot access to CVS
ernesto bascon
- Open /dev/console problem with the new l4linux-2.6.18 on Xscale
WanKeun Jo
- about L4Linux supporting for 312MHz Intel XScale Bulverde (PXA270) processor
Wenbin Zhang
- Exokernel / Device drivers
William DUCK
- PowerPC Port
William DUCK
- DROPS L4Env I/O client API not applicable for C++ programs
Marcel Winandy
- IPC from L4Linux
Daniel Vandersee
- FW: XGenOS / Fiasco
William DUCK
- kernel bug in combination with jdb
Johannes Richter
- new system call for L4
Suresh Iyer
- L4 API and ABI Documentation
Till Backhaus
- L4Linux and virtualization
Robert Gubler
- No mouse and keyboard with the L4Linux/DOpE
chenggh
- Performance counter and NMI handling
Jugwan Eom
- Timing problem on mem_fpage_unmap() in the fiasco kernel
WanKeun Jo
- What is mean of this log?
chenggh
- Does the L4/Fiasco boot from CF card?
chenggh
- bug in cross-compiler?
Ryan C. Spring
- No subject
Christian Roepke
- TC and L4
Burak OÐUZ
- fiasco compilation problems
Hendrik Tews
- vbemode option in l4dope?
Gábor Bérczi (Gabucino)
- L4Env for X.2 (L4Ka::Pistachio)?
Christian, Martin, OPEE45
- Can't start L4Linux-2.6.18
FERANDELLE Pascal
- Where can I get the paper The Fiasco Kernel: System Architecture
cb huang
- L4Linux and USB Keyboard/Mouse
FERANDELLE Pascal
- Fail to compile Linux kernel on L4Linux
Jugwan Eom
- l4-hackers Digest, Vol 44, Issue 4
cb huang
- Building Fiasco-UX
Shakthi Kannan
- segment fault for fiasco-ux
halo.duan
- unmap() guaranteed to succeed?
Marcus Brinkmann
- 转发: segment fault for fiasco-ux
halo.duan
- L4Linux on L4Ka::Pistachio
Christian, Martin, OPEE45
- Wiki for updates
Shakthi Kannan
- missing l4exec
halo.duan
- Compilation of L4Linux, problems with make
Dave Haddon
- hiworld example
Shakthi Kannan
- L4linux compile errors..
Wankeun Jo
- Re: 答复: ×a・¢ : segment fault for fiasco-ux
halo duan
- failed to booting l4linux from serial console
halo duan
- What is difference among these 3 terms: domain, task and thread
chenggh
- Problems compiling NICTA::Pistachio-embedded 1.3.0.
Jaeheon Yi
Last message date:
Fri Dec 29 18:22:05 CET 2006
Archived on: Tue Apr 13 12:03:53 CEST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).