l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions

13 Mar '09
build problem for Fiasco u-kernel.. urgent help needed
by mcs082016@cse.iitd.ernet.in 13 Mar '09

13 Mar '09
L4 Loader Problem: tftp server doesnt exist
by mcs082803@cse.iitd.ernet.in 10 Mar '09

10 Mar '09
STPM package functionality
by Alexander Valitov 06 Mar '09

06 Mar '09
Possible bug in e1000 driver from ORe package
by Alexander Valitov 04 Mar '09

04 Mar '09
Question about ORs stub driver behavior
by Alexander Valitov 04 Mar '09

04 Mar '09
Problem with starting ORe
by Alexander Valitov 03 Mar '09

03 Mar '09

27 Feb '09
memory problems on Fiasco porting
by Tsai, Tung-Chieh 26 Feb '09

26 Feb '09
Fiasco properties
by Alexander Valitov 24 Feb '09

24 Feb '09
DDE legacy kernel module as library
by Andre Puschmann 18 Feb '09

18 Feb '09
Flips with L4Linux
by Alexander Valitov 18 Feb '09

18 Feb '09
log output in fiaso-ux
by Andre Puschmann 17 Feb '09

17 Feb '09
L4Linux stub drivers & L4 drivers
by Alexander Valitov 17 Feb '09

17 Feb '09
FW: libgendep, compiling problems
by Protasio Ramirez, Joan 16 Feb '09

16 Feb '09
Problem of running L4Linux
by Adam Chang 09 Feb '09

09 Feb '09
5 17
0 0
Problem of booting L4Linux2.6
by lvmengxuan 18 Jan '09

18 Jan '09
Can't boot L4Linux2.4 on Pistachio
by lvmengxuan 18 Jan '09

18 Jan '09
l4_io_pci_find_*_call functions
by Shakthi Kannan 13 Jan '09

13 Jan '09
about Fiasco make system
by Zhang Yinfei 10 Jan '09

10 Jan '09
Problem on make l4
by Neohtm 09 Jan '09

09 Jan '09
DDEkit for Linux2.6 from svn
by Shakthi Kannan 03 Jan '09

03 Jan '09
4 33
0 0
Error of building L4 Libraries
by Qmo (Yi-Sheng) 31 Dec '08

31 Dec '08
building bootstrap
by Tsai, Tung-Chieh 23 Dec '08

23 Dec '08
pxa uart driver bug
by Tsai, Tung-Chieh 23 Dec '08

23 Dec '08

11 Dec '08
Problem with Building L4Linux-2.6
by Adam Chang 05 Dec '08

05 Dec '08
Problem with the configuring user-level code of L4Ka::Pistachio
by Святослав Сидоров 30 Nov '08

30 Nov '08
Re: Problems with l4linux
by Valery V. Sedletski 28 Nov '08

28 Nov '08
Re: Problems with l4linux
by Valery V. Sedletski 20 Nov '08

20 Nov '08
4 16
0 0
Re: L4 for Openmoko FreeRunner
by Shakthi Kannan 13 Nov '08

13 Nov '08
nethub and l4linux
by Mikhail Savchenko 10 Nov '08

10 Nov '08
L4 for Openmoko FreeRunner
by Shakthi Kannan 08 Nov '08

08 Nov '08

03 Nov '08
L4 supporting iNotify ??
by Gianfranco Ricci 29 Oct '08

29 Oct '08
Re: Problems with l4linux
by Valery V. Sedletski 27 Oct '08

27 Oct '08
Problems with l4linux
by Valery V. Sedletski 23 Oct '08

23 Oct '08
Boot Fiasco@ARM on QEMU
by Tsai, Tung-Chieh 21 Oct '08

21 Oct '08
3 11
0 0
menu.lst
by Mikhail Savchenko 20 Oct '08

20 Oct '08
fiasco boot sequence on arm
by Qmo (Yi-Sheng) 19 Oct '08

19 Oct '08
Problems with l4linux
by Valery V. Sedletski 15 Oct '08

15 Oct '08
Hardware detection in L4
by Gianfranco Ricci 15 Oct '08

15 Oct '08
makefile in building fiasco for arm
by Adam Chang 15 Oct '08

15 Oct '08
Viaduct sources
by Mikhail Savchenko 30 Sep '08

30 Sep '08

25 Sep '08

25 Sep '08
Re: my problem of starting l4linux in qemu
by Valery V. Sedletski 25 Sep '08

25 Sep '08
trap (GPF) when starting l4linux
by valerius 23 Sep '08

23 Sep '08

23 Sep '08
trap (GPF) when starting l4linux
by valerius 23 Sep '08

23 Sep '08

12 Sep '08
Questions about L4 API V2
by Sean 06 Sep '08

06 Sep '08

05 Sep '08
ORe communication problems
by fei li 29 Aug '08

29 Aug '08

29 Aug '08
Building self-debuggable system on L4?
by Derek Peschel 22 Aug '08

22 Aug '08
Fiasco on Intel Macbooks?
by Steffen Schulz 10 Aug '08

10 Aug '08
Genode Operating System Framework
by Christian Helmuth 08 Aug '08

08 Aug '08
Genode Operating System Framework
by Christian Helmuth 08 Aug '08

08 Aug '08
DirectFB
by Saya Sheng (盛淑蕙) 31 Jul '08

31 Jul '08
l4linux booting problem
by fei li 24 Jul '08

24 Jul '08
Re: DDE library
by Björn Döbel 21 Jul '08

21 Jul '08
DDE library
by Saya Sheng (盛淑蕙) 09 Jul '08

09 Jul '08
Re: about Conventional Memory Region
by Zhang Yinfei 08 Jul '08

08 Jul '08
about Conventional Memory Region
by Zhang Yinfei 06 Jul '08

06 Jul '08

04 Jul '08
Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 01 Jul '08

01 Jul '08
Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 01 Jul '08

01 Jul '08

27 Jun '08
Re: Cannot read VHW structure!
by ahmad kamal 26 Jun '08

26 Jun '08
Cannot read VHW structure!
by ahmad kamal 26 Jun '08

26 Jun '08
Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 25 Jun '08

25 Jun '08
Re: l4-hackers Digest, Vol 62, Issue 12
by Stefan Kögel 24 Jun '08

24 Jun '08
how to fix the modaddr?
by fangzhengshu 24 Jun '08

24 Jun '08
sound server
by Saya Sheng (盛淑蕙) 23 Jun '08

23 Jun '08
Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 23 Jun '08

23 Jun '08
how can we know the needed module?
by fangzhengshu 21 Jun '08

21 Jun '08
ore problems
by fei li 17 Jun '08

17 Jun '08
RE: ore problems
by Bjoern Doebel 17 Jun '08

17 Jun '08

13 Jun '08
timing right
by eric johnson 07 Jun '08

07 Jun '08
Driving audio card
by Saya Sheng (盛淑蕙) 06 Jun '08

06 Jun '08
New list member Mike Jolley
by John van V. 31 May '08

31 May '08
New list member Mike Jolley
by Mike Jolley 31 May '08

31 May '08

30 May '08

27 May '08
fiasco can't start correctly
by fei li 27 May '08

27 May '08
the binary file come from l4 on amd64
by fangzhengshu 26 May '08

26 May '08

21 May '08
Re: l4-hackers Digest, Vol 61, Issue 16
by fang zhengshu 21 May '08

21 May '08

19 May '08

19 May '08
Unable to mount /dev/root
by Igor V. Ruzanov 16 May '08

16 May '08
4 17
0 0
question about multimedia
by 盛淑蕙 16 May '08

16 May '08

15 May '08

14 May '08

11 May '08
switch to ipc question
by eric johnson 09 May '08

09 May '08
unhandled page fault
by 盛淑蕙 05 May '08

05 May '08
Unhandled page fault (in __unknown_pf)
by Igor V. Ruzanov 25 Apr '08

25 Apr '08
some question about serial package
by Ding ying 22 Apr '08

22 Apr '08
Fiasco compilation with ubuntu
by Marc CHALAND 17 Apr '08

17 Apr '08
compile error
by 盛淑蕙 14 Apr '08

14 Apr '08
memory section iguana
by Anand Gore 14 Apr '08

14 Apr '08

08 Apr '08
Re: error while compiling the l4.
by Martin Pohlack 07 Apr '08

07 Apr '08
error while compiling the l4.
by fang zhengshu 06 Apr '08

06 Apr '08

06 Apr '08
Re: stpm
by ahmad kamal 06 Apr '08

06 Apr '08
where to start.
by Varghese Mathew 04 Apr '08

04 Apr '08
Re: stpm
by ahmad kamal 04 Apr '08

04 Apr '08
[Fwd: Re: error while compiling the l4.]
by Martin Pohlack 04 Apr '08

04 Apr '08
ux_con
by ahmad kamal 04 Apr '08

04 Apr '08
Re: where to start.
by ahmad kamal 04 Apr '08

04 Apr '08
stpm
by ahmad kamal 03 Apr '08

03 Apr '08
direct IPC VS Short IPC
by hazwan 30 Mar '08

30 Mar '08
Re: run-l4 - to start another task
by ahmad kamal 30 Mar '08

30 Mar '08
Re: Failed to create a new task
by ahmad kamal 25 Mar '08

25 Mar '08
Debugger on top of L4
by Andrew Vadimovich 25 Mar '08

25 Mar '08
Re: l4-hackers Digest, Vol 59, Issue 14
by muhammad saufy 24 Mar '08

24 Mar '08
Re: Failed to create a new task
by ahmad kamal 24 Mar '08

24 Mar '08
Re: Failed to create a new task
by ahmad kamal 21 Mar '08

21 Mar '08
Hacking L4 (Turaya VPN)
by Mohd Anuar Bin Mat Isa 18 Mar '08

18 Mar '08
L4_IPC_DOPE() understanding
by hazwan 17 Mar '08

17 Mar '08
Compiling Fiasco UX problems under Fedora 8
by Olivier.Landemarre@utbm.fr 17 Mar '08

17 Mar '08
porting L4linux on minix3.
by Pravin 16 Mar '08

16 Mar '08
Re: Failed to create a new task
by ahmad kamal 16 Mar '08

16 Mar '08
Error handling for reply in dice
by Marc Chaland 13 Mar '08

13 Mar '08
error running fiasco-ux
by Lucyantie Mazalan 12 Mar '08

12 Mar '08
run-l4 - to start another task
by ahmad kamal 12 Mar '08

12 Mar '08
about L4ka build
by ANPING WANG 12 Mar '08

12 Mar '08
Re: l4-hackers Digest, Vol 59, Issue 7
by Valery V. Sedletski 12 Mar '08

12 Mar '08
thread.id.lthread inquiry
by hazwan 11 Mar '08

11 Mar '08
Re: Failed to create a new task
by ahmad kamal 10 Mar '08

10 Mar '08
Failed to create a new task
by ahmad kamal 10 Mar '08

10 Mar '08
Re: l4-hackers Digest, Vol 59, Issue 7
by Valery V. Sedletski 10 Mar '08

10 Mar '08
L4Linux: pagefault at the beginning of BSS area
by Valery V. Sedletski 08 Mar '08

08 Mar '08
A pagefault at the BSS area when starting l4linux
by Valery V. Sedletski 07 Mar '08

07 Mar '08

07 Mar '08
need some help in okl4
by Gabi Voiculescu 05 Mar '08

05 Mar '08
does l4 linux now support smp?
by Yang Xu 04 Mar '08

04 Mar '08
mysterious double fault
by Alexander Arlt 04 Mar '08

04 Mar '08
Linux 2.6.24 L4FB and VGA_CONSOLE
by Marc CHALAND 27 Feb '08

27 Feb '08
3 10
0 0

27 Feb '08
how can a l4 task load l4linux?
by Alexander Arlt 27 Feb '08

27 Feb '08
February 75% OFF
by l4-hackers@os.inf.tu-dresden.de 13 Feb '08

13 Feb '08
Runux script to run Fiasco-UX
by Lucyantie Mazalan 30 Jan '08

30 Jan '08
Re: menu.lst for running flips in L4
by Björn Döbel 29 Jan '08

29 Jan '08
Question about semaphores and threads
by Marc CHALAND 28 Jan '08

28 Jan '08
RE: January 71% OFF
by l4-hackers@os.inf.tu-dresden.de 28 Jan '08

28 Jan '08
What's wrong with my l4con
by fei li 28 Jan '08

28 Jan '08
problem of load file in proxygon
by Ding ying 28 Jan '08

28 Jan '08
Re: menu.lst for running flips in L4
by Björn Döbel 28 Jan '08

28 Jan '08
Re: menu.lst for running flips in L4
by Martin Pohlack 25 Jan '08

25 Jan '08

25 Jan '08

25 Jan '08

25 Jan '08
happy hacking yr 2008
by Chirikure Kuda 24 Jan '08

24 Jan '08
No netwrking
by fang zhengshu 24 Jan '08

24 Jan '08
Re: BID-coding an encapsulate
by Björn Döbel 24 Jan '08

24 Jan '08
Trouble with l4rm_region_cache slab
by Marc CHALAND 24 Jan '08

24 Jan '08

24 Jan '08
Re: BID-coding an encapsulate
by Björn Döbel 24 Jan '08

24 Jan '08

22 Jan '08
Re: BID-coding an encapsulate
by Björn Döbel 22 Jan '08

22 Jan '08
Re: BID-coding an encapsulate
by Björn Döbel 22 Jan '08

22 Jan '08
Re: BID-coding an encapsulate
by Bjoern Doebel 22 Jan '08

22 Jan '08
BID-coding an encapsulate
by Lucyantie Mazalan 22 Jan '08

22 Jan '08
Re: Try to compile flips but got error..
by Alexander Boettcher 21 Jan '08

21 Jan '08
None
by muhammad saufy 21 Jan '08

21 Jan '08
Re: Error compile L4
by ahmad kamal 18 Jan '08

18 Jan '08
Re: Error compile L4
by ahmad kamal 17 Jan '08

17 Jan '08
Re: Enter debugger
by ahmad kamal 17 Jan '08

17 Jan '08
Enter debugger
by ahmad kamal 17 Jan '08

17 Jan '08
Re: Error compile L4
by kazilus kazilus 16 Jan '08

16 Jan '08
Problems creating IDL
by Lucyantie Mazalan 16 Jan '08

16 Jan '08
Re: Error compile L4
by kazilus kazilus 15 Jan '08

15 Jan '08
Error compile L4
by kazilus kazilus 14 Jan '08

14 Jan '08
Re: L4Linux-2.6
by kazilus kazilus 13 Jan '08

13 Jan '08
sigma0 and tbuf
by Marc CHALAND 11 Jan '08

11 Jan '08
Re: L4Linux-2.6
by kazilus kazilus 11 Jan '08

11 Jan '08
Re: L4Linux-2.6
by kazilus kazilus 11 Jan '08

11 Jan '08
Re: L4Linux-2.6
by kazilus kazilus 11 Jan '08

11 Jan '08
L4Linux-2.6
by kazilus kazilus 11 Jan '08

11 Jan '08
Re: Error while make-ing L4
by Alexander Boettcher 07 Jan '08

07 Jan '08
Error while make-ing L4
by wira 07 Jan '08

07 Jan '08

07 Jan '08
problem booting L4Linux-2.6
by kazilus kazilus 05 Jan '08

05 Jan '08
l4_kernel_interface()
by kazilus kazilus 28 Dec '07

28 Dec '07
Something about DICE is changed?
by cheng.guanghui.ml 14 Dec '07

14 Dec '07
Results per page: