l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Build Issues
by Michael J. Emswiler 17 Jun '06

17 Jun '06
Multiprocessor Fiasco? Drops on Pistachio?
by Michael J. Emswiler 16 Jun '06

16 Jun '06
Please Ignore: Building with GCC 4.1
by Michael J. Emswiler 16 Jun '06

16 Jun '06
Building with GCC 4.1
by Michael J. Emswiler 16 Jun '06

16 Jun '06

09 Jun '06
another FLIPS build problem
by David Silcott 08 Jun '06

08 Jun '06
Re: building l4env (fuxfprov error)
by David Silcott 08 Jun '06

08 Jun '06
building l4env (fuxfprov error)
by David Silcott 06 Jun '06

06 Jun '06
l4vfs, flips
by David Silcott 06 Jun '06

06 Jun '06
unable to compile flips
by David Silcott 06 Jun '06

06 Jun '06
Re: ore with fiasco-ux
by Hieb,Jeffrey Lloyd 02 Jun '06

02 Jun '06
Fiaco and ARM
by Christian Roepke 01 Jun '06

01 Jun '06
DROPS and ARM
by Christian Roepke 01 Jun '06

01 Jun '06
ore with fiasco-ux
by Jeff Hieb 31 May '06

31 May '06
sigma1
by Luke A. Guest 26 May '06

26 May '06
test
by Luke A. Guest 20 May '06

20 May '06
DoS problem still existing?
by Robert Kaiser 19 May '06

19 May '06
con-ux bug?
by Wei Shen 12 May '06

12 May '06
L4Linux freezes
by Vilmos Nebehaj 12 May '06

12 May '06
Re: TCP/IP between L4Linux and L4 task
by Bjoern Doebel 11 May '06

11 May '06
Re: TCP/IP between L4Linux and L4 task
by Stefan Scheler 11 May '06

11 May '06

11 May '06
Re: Fiasco hello world problem..
by raghavendra pai 11 May '06

11 May '06
RE: L4Env and L4 version X.2.
by Volkmar Uhlig 11 May '06

11 May '06
L4Env and L4 version X.2.
by sethb 11 May '06

11 May '06
The question about flexpage
by ź°•ķ›„ģ˜ 11 May '06

11 May '06
TCP/IP between L4Linux and L4 task
by Stefan Scheler 10 May '06

10 May '06
Fiasco hello world problem..
by raghavendra pai 08 May '06

08 May '06
[EMSCB] L4Linux
by Oskar Senft 05 May '06

05 May '06
[EMSCB] L4Linux
by Oskar Senft 05 May '06

05 May '06
error build docs?
by Colin Burgess 05 May '06

05 May '06
[EMSCB] L4Linux + IPC
by Oskar Senft 03 May '06

03 May '06
MIKES 2006 - Call for Papers
by Ihor Kuz 03 May '06

03 May '06
Getting Started...
by Colin Burgess 25 Apr '06

25 Apr '06
About l4.sec schedule
by Wei Shen 24 Apr '06

24 Apr '06
fiasco-ux does not build
by Stefan Scheler 21 Apr '06

21 Apr '06
L4Linux booting failed
by chenggh04ļ¼ st.lzu.edu.cn 18 Apr '06

18 Apr '06
Strange L4Linux behavior
by Jugwan Eom 14 Apr '06

14 Apr '06

12 Apr '06

11 Apr '06
Static Linux kernel, anyone?
by Stefan Schulz 09 Apr '06

09 Apr '06
L4Linux and AMD64
by Zephiris 09 Apr '06

09 Apr '06
Re: Building the environment fails
by Alexander Boettcher 05 Apr '06

05 Apr '06
Re: Building the environment fails
by Alexander Boettcher 05 Apr '06

05 Apr '06
Building the environment fails
by Stefan Schulz 05 Apr '06

05 Apr '06
Make hello stops with an error
by Ricard de Benito Panillo 05 Apr '06

05 Apr '06
I have new problem!
by chenggh04ļ¼ st.lzu.edu.cn 04 Apr '06

04 Apr '06
Why don't I have /bin/ directory in L4
by chenggh04ļ¼ st.lzu.edu.cn 03 Apr '06

03 Apr '06
Lovelace Web-Site
by Frederic BOYER 30 Mar '06

30 Mar '06
L4Linux without libloader?
by Daniel Vandersee 23 Mar '06

23 Mar '06
Reloading L4Linux problem
by Jugwan Eom 17 Mar '06

17 Mar '06
What is trampoline.S for?
by BVK Groups 17 Mar '06

17 Mar '06
some weird performance result
by Sungkwan Heo 11 Mar '06

11 Mar '06
config for 2 L4Linux instances
by Sungkwan Heo 11 Mar '06

11 Mar '06
Update on NICTA's secure embedded L4 project
by Kevin Elphinstone 10 Mar '06

10 Mar '06
L4.Sec Implementation
by Anton Soppelsa 08 Mar '06

08 Mar '06
L4::Pistachio ARM GNU toolchain
by Shakthi Kannan 08 Mar '06

08 Mar '06
l4linux-2.6 build error
by Sungkwan Heo 07 Mar '06

07 Mar '06
make hello stops with an error
by Delitsyn Igor 03 Mar '06

03 Mar '06
Re: PowerPC interrupt setup
by Kay-Uwe.Genz 03 Mar '06

03 Mar '06
trying to launch a server
by Xavier Grave 28 Feb '06

28 Feb '06
Question about UTCB
by Jonathan S. Shapiro 24 Feb '06

24 Feb '06

17 Feb '06
PowerPC interrupt setup
by Matthias Lange 08 Feb '06

08 Feb '06
Ore on Intel Pro/1000
by Michael Scheibel 07 Feb '06

07 Feb '06
Fiasco and L4Linux for ARM926 (Nokia770)
by Delitsyn Igor 07 Feb '06

07 Feb '06
Ada L4
by Frederic BOYER 03 Feb '06

03 Feb '06
SPEC CPU 2000 Benchmarks
by Julian Grizzard 31 Jan '06

31 Jan '06
gdb remote debugging + shared video ram question
by s6994440ļ¼ mail.inf.tu-dresden.de 30 Jan '06

30 Jan '06

30 Jan '06
hello and question from a l4 beginner
by Xavier Grave 26 Jan '06

26 Jan '06
6 19
0 0
log_net does not work
by Arthur Mielimonka 24 Jan '06

24 Jan '06
Ada on L4 questions ...
by Frederic BOYER 23 Jan '06

23 Jan '06
a error when compling fiasco-1.2
by Liu Jian 18 Jan '06

18 Jan '06
L4Linux (dm_phys?) problem
by Jugwan Eom 12 Jan '06

12 Jan '06

11 Jan '06
grub-0.97 problem
by Der Herr Hofrat 05 Jan '06

05 Jan '06
Re: L4Linux (dm_phys?) problem
by Jugwan Eom 29 Dec '05

29 Dec '05
Dataspaces mappings for L4Linux
by Julian Grizzard 21 Dec '05

21 Dec '05
wrong gcc major version "2"- use 3.x for l4io
by Konstantinos Pachopoulos 21 Dec '05

21 Dec '05
Is it a problem to use l4env_freebsd - mode?
by Arthur Mielimonka 21 Dec '05

21 Dec '05

19 Dec '05
L4Linux-2.6.14 perfomance question
by Der Herr Hofrat 12 Dec '05

12 Dec '05
Compiling fiasco for ARM
by Marko Wolf 07 Dec '05

07 Dec '05
fprintf(stderr, ...) fails
by Arthur Mielimonka 29 Nov '05

29 Nov '05
dde_linux26 down_trylock bug
by Wei Shen 28 Nov '05

28 Nov '05
Failed Assertion @ auto/kmem.h:162
by Julian Grizzard 27 Nov '05

27 Nov '05
L4Linux on fiasco UX problem
by Jugwan Eom 24 Nov '05

24 Nov '05
ANNOUNCE: Qualcomm uses L4!
by Gernot Heiser 23 Nov '05

23 Nov '05

23 Nov '05
Re: What happens on timeslice overrun?
by Udo A. Steinberg 23 Nov '05

23 Nov '05
3 11
0 0
how do I...
by Michael Scheibel 22 Nov '05

22 Nov '05
4 12
0 0
Building Fiasco-UX
by Marko Wolf 21 Nov '05

21 Nov '05
[Emscb] Building Fiasco-UX
by Marko Wolf 21 Nov '05

21 Nov '05
which libc
by Christoph Mueller 09 Nov '05

09 Nov '05
Re: L4Linux without Con or DoPe?
by Marcel Selhorst 06 Nov '05

06 Nov '05

06 Nov '05
l4linux26 @ fiasco-ux w/ dietlibc
by Marko Wolf 02 Nov '05

02 Nov '05
3 12
0 0
fiasco for ARM
by Shakthi Kannan 31 Oct '05

31 Oct '05
L4Linux without Con or DoPe?
by Marcel Selhorst 28 Oct '05

28 Oct '05
bootstrap + module
by Christoph Mueller 27 Oct '05

27 Oct '05
Re: Capability Authentication
by Marcus Vƶlp 21 Oct '05

21 Oct '05
Module arguments
by Marcel Selhorst 20 Oct '05

20 Oct '05

19 Oct '05
RE: Sawmill's dataspaces and the Hurd's physmem
by yuan Darwin-r62832 19 Oct '05

19 Oct '05
RE: Sawmill's dataspaces and the Hurd's physmem
by yuan Darwin-r62832 19 Oct '05

19 Oct '05
RE: Sawmill's dataspaces and the Hurd's physmem
by yuan Darwin-r62832 18 Oct '05

18 Oct '05

16 Oct '05

15 Oct '05
Using l4ide, l4linux and con together
by Jianjun Shen 14 Oct '05

14 Oct '05
Dope Crash during large fb output
by Marcel Selhorst 14 Oct '05

14 Oct '05
L4Linux and ACPI
by Marcel Selhorst 14 Oct '05

14 Oct '05

13 Oct '05
Problem using remote-cvs
by Christoph Mueller 12 Oct '05

12 Oct '05
no makefile in v4_branch?
by Matthias Lange 11 Oct '05

11 Oct '05
l4-ux
by Alan Grimes 10 Oct '05

10 Oct '05
ANNOUNCE: NICTA L4-embedded API
by Gernot Heiser 05 Oct '05

05 Oct '05

05 Oct '05
drops-demo from hard disk
by Shakthi Kannan 04 Oct '05

04 Oct '05
env.ipc_error: unknown
by Shakthi Kannan 30 Sep '05

30 Sep '05
About driver stubs for L4Linux
by Jianjun Shen 29 Sep '05

29 Sep '05

29 Sep '05
names memory overlap error
by Shakthi Kannan 28 Sep '05

28 Sep '05
[ANN] Fiasco 1.2 released
by Adam Lackorzynski 26 Sep '05

26 Sep '05
Did not find VBE info block
by Shakthi Kannan 26 Sep '05

26 Sep '05
Problems porting L4Linux 2.4 module to 2.6
by Derick Swanepoel 22 Sep '05

22 Sep '05
Problem with hybrid L4Linux task
by Mathias Krause 19 Sep '05

19 Sep '05
Compiling DROPS' dietlibc on FreeBSD
by Julian Stecklina 15 Sep '05

15 Sep '05
[Fwd: Re: Inspect L4Linux Memory]
by Julian Grizzard 15 Sep '05

15 Sep '05
Inspect L4Linux Memory
by Julian Grizzard 10 Sep '05

10 Sep '05
Re: Reboot does not work anymore!
by Derick Swanepoel 08 Sep '05

08 Sep '05
Sawmill's dataspaces and the Hurd's physmem
by Neal H. Walfield 06 Sep '05

06 Sep '05
DROPS build success on FreeBSD
by Julian Stecklina 04 Sep '05

04 Sep '05
gendep on FreeBSD
by Julian Stecklina 03 Sep '05

03 Sep '05
Fiasco CVS repository
by Julian Stecklina 03 Sep '05

03 Sep '05

02 Sep '05

02 Sep '05
Re: shared memory Beispiel?
by Frank Mehnert 02 Sep '05

02 Sep '05
RE: shared memory Beispiel?
by yuan Darwin-r62832 31 Aug '05

31 Aug '05
Re: gcc3.4 problem
by Leon Brits 31 Aug '05

31 Aug '05
problem deploying l4env
by Christoph Mueller 25 Aug '05

25 Aug '05
gcc3.4 problem
by Leon Brits 25 Aug '05

25 Aug '05
Interrupt latency in L4Linux
by fabs0028ļ¼ free.fr 23 Aug '05

23 Aug '05
Re: l4-hackers Digest, Vol 28, Issue 13
by basant mudalgi 22 Aug '05

22 Aug '05
Patches for L4linux
by basant mudalgi 22 Aug '05

22 Aug '05
l4linux based distro
by PhilT 19 Aug '05

19 Aug '05
RT-Drops : Admission Server
by Arthur Mielimonka 18 Aug '05

18 Aug '05
Via C3 Assertion Failed
by Christoph Mueller 18 Aug '05

18 Aug '05
Re: Reboot does not work anymore!
by Frank Mehnert 17 Aug '05

17 Aug '05
Reboot does not work anymore!
by Leon Brits 17 Aug '05

17 Aug '05
c++ stl in l4/pkg/libstdc++
by Bert van Leeuwen 17 Aug '05

17 Aug '05
prebuilt environment
by Julian Stecklina 16 Aug '05

16 Aug '05
Re: What happens on timeslice overrun?
by Udo A. Steinberg 15 Aug '05

15 Aug '05
AW: What happens on timeslice overrun?
by Rene Wittmann 15 Aug '05

15 Aug '05
freebsd style task heap memory
by Bert van Leeuwen 15 Aug '05

15 Aug '05
What happens on timeslice overrun?
by Rene Wittmann 14 Aug '05

14 Aug '05
Re: Logging/printf's in RT env
by Rene Wittmann 10 Aug '05

10 Aug '05
Fiasco + L4Linux auf echter Hardware
by Marcel Selhorst 09 Aug '05

09 Aug '05
Some broken packages in remote-cvs
by Arthur Mielimonka 04 Aug '05

04 Aug '05
Logging/printf's in RT env
by Rene Wittmann 04 Aug '05

04 Aug '05
remote gdb stub
by Bert van Leeuwen 04 Aug '05

04 Aug '05

03 Aug '05

02 Aug '05
heap memory usage in L4 drops/oskit task
by Bert van Leeuwen 29 Jul '05

29 Jul '05
2 10
0 0
Problem compiling docs
by Leon Brits 25 Jul '05

25 Jul '05
L4Linux hybrid programs
by Adam Lackorzynski 25 Jul '05

25 Jul '05
Memory usage in l4linux
by fabs0028ļ¼ free.fr 25 Jul '05

25 Jul '05
L4Linux boot message
by Leon Brits 22 Jul '05

22 Jul '05
problem compiling pkg/crtx
by Jayesh Salvi 21 Jul '05

21 Jul '05
(no subject)
by Wang, Chip 20 Jul '05

20 Jul '05
Missing data manager
by Wang, Chip 19 Jul '05

19 Jul '05
Shared dataspace problem
by Leon Brits 19 Jul '05

19 Jul '05

19 Jul '05
Support for Intel Xeon
by Wang, Chip 18 Jul '05

18 Jul '05
Archive into libloader.s.so Fails
by Kenji Miyamoto 17 Jul '05

17 Jul '05
L4Evn-2.6 Fails to Configure
by Kenji Miyamoto 16 Jul '05

16 Jul '05

13 Jul '05
L4Env Compilation Error at "Multiboot-SMP" on Gentoo
by fabs0028ļ¼ free.fr 13 Jul '05

13 Jul '05

12 Jul '05
L4Linux 2.4 server priority
by Leon Brits 12 Jul '05

12 Jul '05
Error in building l4linux-2.6-env
by Wang, Chip 12 Jul '05

12 Jul '05
L4Env Isolating Hard Drives
by Julian Grizzard 12 Jul '05

12 Jul '05
Help! Unable to build L4Env-0.2
by Wang, Chip 12 Jul '05

12 Jul '05
build failure and fix for typo
by Julian Stecklina 12 Jul '05

12 Jul '05
using l4linux structures in l4
by Andrew Davenport 11 Jul '05

11 Jul '05
exception -> l4_ipc ?
by Andrew Davenport 11 Jul '05

11 Jul '05
documentation booting fiasco
by Emanuel Thomas 11 Jul '05

11 Jul '05
Results per page: