l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Thread IP initialization
by jason philip 15 Jan '11

15 Jan '11

14 Jan '11
Explanation of ARM TrustZone Support?
by Wesley Miaw 13 Jan '11

13 Jan '11
Re: ARM L4Linux Kernel Panic
by Wesley Miaw 06 Jan '11

06 Jan '11
Re: ARM L4Linux Kernel Panic
by Wesley Miaw 05 Jan '11

05 Jan '11
ARM L4Linux Kernel Panic
by Wesley Miaw 04 Jan '11

04 Jan '11
Problems booting Pistachio
by Ashford Nichols 26 Dec '10

26 Dec '10
L4Re: Thread local storage
by Taru Karttunen 22 Dec '10

22 Dec '10
schedule system call
by Ashford Nichols 20 Dec '10

20 Dec '10
L4 pager
by Ashford Nichols 19 Dec '10

19 Dec '10
GCC 4.5.1 and L4Re
by Taru Karttunen 17 Dec '10

17 Dec '10
Several questions
by Nuno Santos 10 Dec '10

10 Dec '10
Problem with building L4Linux
by Nuno Santos 07 Dec '10

07 Dec '10
Stringitem
by BERTRAND Joel 04 Dec '10

04 Dec '10
Some questions about pager
by BERTRAND Joel 29 Nov '10

29 Nov '10

28 Nov '10

26 Nov '10

26 Nov '10

26 Nov '10

25 Nov '10

24 Nov '10
Building L4linux
by Maxime Lastera 15 Nov '10

15 Nov '10
Building L4linux
by Maxime Lastera 09 Nov '10

09 Nov '10
running l4linux on PB11mpcore
by Rahul Ramasubramanian 08 Nov '10

08 Nov '10
Building L4linux
by Maxime Lastera 07 Nov '10

07 Nov '10
l4linux on arm11mpcore (build error)
by Rahul Ramasubramanian 07 Nov '10

07 Nov '10
Building L4linux
by Maxime Lastera 05 Nov '10

05 Nov '10
Building L4linux
by Maxime Lastera 04 Nov '10

04 Nov '10

03 Nov '10
Building L4linux
by Maxime Lastera 03 Nov '10

03 Nov '10
Building L4linux
by Maxime Lastera 03 Nov '10

03 Nov '10
Information about buildingl4re
by Maxime Lastera 02 Nov '10

02 Nov '10
Information about buildingl4re
by Maxime Lastera 02 Nov '10

02 Nov '10
Fiasco / L4Re compilation issues
by Thomas DuBuisson 01 Nov '10

01 Nov '10

25 Oct '10

27 Sep '10
Re: L4 and ARM Cortex-A8 (OMAP3)
by Brett Mahar 22 Sep '10

22 Sep '10

22 Sep '10
how to run Fiasco.OC
by 方明伟 16 Sep '10

16 Sep '10
Hello World!
by Marc Mauri Alloza 10 Sep '10

10 Sep '10

01 Sep '10
Fiasco.OC hangs in Intel Core 2 duo
by Karthik Vadambacheri Manian 29 Aug '10

29 Aug '10
loading "dpci" module from vancouver fails.
by Shyamali Mukherjee 24 Aug '10

24 Aug '10
Using L4Linux on Fiasco.OC - How?
by Andreas Speier 10 Aug '10

10 Aug '10
GUI: mag, dope, nitpicker, goos
by Taru Karttunen 09 Aug '10

09 Aug '10

07 Aug '10

06 Aug '10
Fiasco support for ARM trustzone extensions
by Rosenberry, Robert D. 05 Aug '10

05 Aug '10
L4Re Makefile bug?
by Michael Kirkpatrick 03 Aug '10

03 Aug '10
L4Re and Fiasco.OC on amd64
by Taru Karttunen 02 Aug '10

02 Aug '10
l4vfs and stdin/stdout handles
by Valery V. Sedletski 02 Jul '10

02 Jul '10
l4vfs and opendir()/readdir()
by Valery V. Sedletski 20 Jun '10

20 Jun '10
L4Re and Fiasco.OC
by Adam Lackorzynski 18 Jun '10

18 Jun '10
IPC error: resolved
by Valery V. Sedletski 08 Jun '10

08 Jun '10
IPC error
by Valery V. Sedletski 08 Jun '10

08 Jun '10
a minor bug in claim_irq
by Da Zheng 06 Jun '10

06 Jun '10

31 May '10
Re: Compilation errors with stl map in uclibc++
by Karthik Vadambacheri Manian 26 May '10

26 May '10
Compilation errors with stl map in uclibc++
by Karthik Vadambacheri Manian 24 May '10

24 May '10
Re: Compilation errors with stl map in uclibc++
by Karthik Vadambacheri Manian 22 May '10

22 May '10
Compilation errors with stl map in uclibc++
by Karthik Vadambacheri Manian 22 May '10

22 May '10
About consuming time slice on l4linux
by Jungwoo Yang 17 May '10

17 May '10

13 May '10
irq handling in DDE Linux26
by Da Zheng 12 May '10

12 May '10
Problem in porting an application
by Karthik Vadambacheri Manian 11 May '10

11 May '10
Re: Problem in porting an application
by John van V. 09 May '10

09 May '10
Problem in porting an application
by Karthik Vadambacheri Manian 08 May '10

08 May '10
Re: Regd: L4 Reference and User manual
by kolabor@freenet.de 29 Apr '10

29 Apr '10
The system call about Periodic task
by Jungwoo Yang 28 Apr '10

28 Apr '10
Regd: L4 Reference and User manual
by Karthik Vadambacheri Manian 28 Apr '10

28 Apr '10
L4 and ARM Cortex-A8 (OMAP3)
by Thomas DuBuisson 26 Apr '10

26 Apr '10
Porting an MPI based appilcation on L4 feasible?
by Karthik Vadambacheri Manian 26 Apr '10

26 Apr '10
the ipcmon compiling error
by Guanghui, Cheng 21 Apr '10

21 Apr '10
About Periodic Tasks
by Jungwoo Yang 21 Apr '10

21 Apr '10
bug report and fixed in the dice compiling
by Guanghui, Cheng 19 Apr '10

19 Apr '10
Post Bison version fix error
by Harish G. Naik 18 Apr '10

18 Apr '10
Re: pci_set_master in dde linux26
by Björn Döbel 07 Apr '10

07 Apr '10
pci_set_master in dde linux26
by Da Zheng 07 Apr '10

07 Apr '10
a bug fix in dde linux26
by Da Zheng 07 Apr '10

07 Apr '10
Hello and make problem
by Leonardo Lazzaro 28 Mar '10

28 Mar '10

08 Mar '10

14 Feb '10
fiasco - related
by sarita kale 29 Jan '10

29 Jan '10
DDE Linux26 in the Hurd
by Da Zheng 29 Jan '10

29 Jan '10
5 20
0 0
Re: l4-hackers Digest, Vol 80, Issue 11
by fang zhengshu 30 Dec '09

30 Dec '09
Re: l4-hackers Digest, Vol 80, Issue 8
by fang zhengshu 28 Dec '09

28 Dec '09
Re: l4-hackers Digest, Vol 80, Issue 6
by fang zhengshu 25 Dec '09

25 Dec '09
Codezero Microkernel v0.2 Released
by Bahadir Balban 07 Dec '09

07 Dec '09

02 Dec '09
ddekit and dde linux2.6
by Da Zheng 22 Nov '09

22 Nov '09

06 Nov '09
the preempter of one thread
by Guanghui, Cheng 30 Oct '09

30 Oct '09
Some Errors in DDE
by Jingyi WANG 30 Oct '09

30 Oct '09

23 Oct '09

20 Oct '09
Re: About the exception ipc reply
by Guanghui, Cheng 16 Oct '09

16 Oct '09
Split console with two keyboards
by Shakthi Kannan 16 Oct '09

16 Oct '09
About the exception ipc reply
by Guanghui, Cheng 14 Oct '09

14 Oct '09
Back to UTCB IPC
by Marc CHALAND 11 Oct '09

11 Oct '09

30 Sep '09
About the JDB debugger
by Guanghui, Cheng 15 Sep '09

15 Sep '09
the __main symbol in the crt0_x.S
by Guanghui, Cheng 09 Sep '09

09 Sep '09
page fault:no entry in region list
by fang zhengshu 09 Sep '09

09 Sep '09
My problem of I/O port
by Ding ying 02 Sep '09

02 Sep '09
Re: l4-hackers Digest, Vol 76, Issue 13
by fang zhengshu 02 Sep '09

02 Sep '09

30 Aug '09

28 Aug '09
Re: l4-hackers Digest, Vol 76, Issue 10
by fang zhengshu 28 Aug '09

28 Aug '09
one question about l4_thread_ex_regs flags
by Guanghui, Cheng 26 Aug '09

26 Aug '09
Re: seL4 kernel is formally verified
by gernot@cse.unsw.EDU.AU 18 Aug '09

18 Aug '09
seL4 kernel is formally verified
by Gernot Heiser 18 Aug '09

18 Aug '09
Howto implement a periodic real-time task?
by Andre Puschmann 10 Aug '09

10 Aug '09
Re: problems running l4linux No.2
by Stefan Kögel 06 Aug '09

06 Aug '09
Re: interrupt registration
by eric johnson 05 Aug '09

05 Aug '09
interrupt registration
by eric johnson 04 Aug '09

04 Aug '09
compiling Fiasco trunk, Bison trouble
by Roman Beslik 04 Aug '09

04 Aug '09
problems running l4linux No.2
by Stefan Kögel 04 Aug '09

04 Aug '09
problems running l4linux
by Stefan Kögel 31 Jul '09

31 Jul '09
problem with l4linux
by fang zhengshu 27 Jul '09

27 Jul '09
the dde_linux26 link error
by Guanghui, Cheng 27 Jul '09

27 Jul '09

25 Jul '09
the drops-x.rd
by fang zhengshu 24 Jul '09

24 Jul '09
read string from server array error!
by fang zhengshu 15 Jul '09

15 Jul '09
Re: l4-hackers Digest, Vol 72, Issue 8
by fang zhengshu 08 Jul '09

08 Jul '09
running cpu_reserve examples
by Andre Puschmann 29 Jun '09

29 Jun '09
How to check out ddekit
by Zheng Da 23 Jun '09

23 Jun '09
Re: [ANNOUNCE] Introducing Codezero
by John van V. 13 Jun '09

13 Jun '09
[Fwd: FW: MSR OS Group RSDE Position]
by Ronald Aigner 12 Jun '09

12 Jun '09
[ANNOUNCE] Introducing Codezero
by Bahadir Balban 11 Jun '09

11 Jun '09
time problem
by fang zhengshu 19 May '09

19 May '09
USB Smartcard reader unter L4Linux
by Gianfranco Ricci 18 May '09

18 May '09
USB for L4
by mx@sven-fuelster.com 11 May '09

11 May '09
Warning from ORe stub driver
by Alexander Valitov 03 May '09

03 May '09
USB mouse error
by Neohtm 29 Apr '09

29 Apr '09
ORe + L4Linux network performance
by Alexander Valitov 28 Apr '09

28 Apr '09
vbeset support for GRUB
by Neohtm 24 Apr '09

24 Apr '09

20 Apr '09
Re: DDE USB performance
by tapas kundu 18 Apr '09

18 Apr '09
IPC transfer message question.
by Suresh Iyer 16 Apr '09

16 Apr '09

15 Apr '09
NAPI and libdde_linux26_net
by Alexander Valitov 14 Apr '09

14 Apr '09
ORe and HW MAC assignment
by Alexander Valitov 13 Apr '09

13 Apr '09
help: which sdk support s3c2410 board?
by zhhwu@shu.edu.cn 11 Apr '09

11 Apr '09
help: how to run PINGPONG sample on skyeye.
by zhhwu@shu.edu.cn 11 Apr '09

11 Apr '09
help: which sdk support s3c2410 board?
by zhhwu@shu.edu.cn 11 Apr '09

11 Apr '09
help: how to run PINGPONG sample on skyeye.
by zhhwu@shu.edu.cn 11 Apr '09

11 Apr '09
Using l4con for ARM integrator
by Adam Chang 10 Apr '09

10 Apr '09
Announcement: DDEUSB released
by Dirk Vogt 09 Apr '09

09 Apr '09
help please... L4 IDE not working !!!
by tapas kundu 09 Apr '09

09 Apr '09
Fiasco Kernel: Trap=03
by Marcel Selhorst 07 Apr '09

07 Apr '09
USB Keyboard and l4con
by Alexander Valitov 06 Apr '09

06 Apr '09
x86_64?
by Xavian-Anderson Macpherson 06 Apr '09

06 Apr '09
Re: l4ts_free_task()
by Alexander Boettcher 06 Apr '09

06 Apr '09
l4ts_free_task()
by Marcel Selhorst 05 Apr '09

05 Apr '09
Check out my photos on Facebook
by John Van V. 04 Apr '09

04 Apr '09
Questions about FLIPS
by Alexander Valitov 30 Mar '09

30 Mar '09
L4 Server Dynamic Loading
by Sid Yu 30 Mar '09

30 Mar '09
socket libc backend misses recvmsg()
by Alexander Valitov 27 Mar '09

27 Mar '09
IPC problem with dice-3.3.0
by Marcel Selhorst 27 Mar '09

27 Mar '09
[BUGREPORT] DDE timer handling
by Andre Puschmann 27 Mar '09

27 Mar '09
fnmatch() is absent in ulibc port
by Alexander Valitov 26 Mar '09

26 Mar '09
[Fwd: Re: Grub Question + some other information needed]
by mcs082803@cse.iitd.ernet.in 25 Mar '09

25 Mar '09
Problem with L4Linux ORe stub driver
by Alexander Valitov 24 Mar '09

24 Mar '09
Grub Question + some other information needed
by mcs082803@cse.iitd.ernet.in 23 Mar '09

23 Mar '09
difficulties with Loader
by Alexander Valitov 23 Mar '09

23 Mar '09
About porting ALSA
by Jingyi WANG 23 Mar '09

23 Mar '09
DROPS USB
by mcs082803@cse.iitd.ernet.in 22 Mar '09

22 Mar '09
DEFAULT_RELOC and roottask
by Alexander Valitov 19 Mar '09

19 Mar '09
Build DROPS on 64bit Host for 32bit Target
by Alexander Valitov 19 Mar '09

19 Mar '09
Patch for DICE that fix issue with AMD64 host
by Alexander Valitov 19 Mar '09

19 Mar '09
Problem with Fiasco under QEMU
by Alexander Valitov 18 Mar '09

18 Mar '09
Results per page: