Parent Categories/Forums: Micro Kernel
Edit this Forum

L4

Search:
This forum is an archive for the mailing list: l4-hackers@os.inf.tu-dresden.de (mailing list options). Messages posted here will be sent to this mailing list.

This list is intended for discussions about the L4 microkernel family and software running on top of L4.
Child Forums (0): None
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
Post to L4 Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older

Thread (596 Threads) Rating Replies Last Message

Problem compiling Fiasco Kernel (kip.cc) by olivier-55
1
by Adam Lackorzynski

ddekit and dde linux2.6 by Zheng Da
4
by Zheng Da

The errors i tried to map iomem to virtual memory by Guanghui, Cheng
6
by Guanghui, Cheng

the preempter of one thread by Guanghui, Cheng
1
by Adam Lackorzynski

Some Errors in DDE by Jingyi WANG
1
by Adam Lackorzynski

ex_regs system call is forzed in the do_ipc process by Guanghui, Cheng
5
by Adam Lackorzynski

About some unimplement functions in DDE by Jingyi WANG
2
by Christian Helmuth-2

About the exception ipc reply by Guanghui, Cheng
6
by Guanghui, Cheng

Split console with two keyboards by Shakthi Kannan-6
1
by Christian Helmuth-2

Back to UTCB IPC by Marc CHALAND-2
9
by Adam Lackorzynski

Maybe we can use the two registers in the Exception IPC as Pagefault IPC by Guanghui, Cheng
1
by Björn Döbel

Pagefault by running L4Linux 2.6.29 on Fiasco by Andreas Speier
1
by Björn Döbel

is it possible to check the register info change before and after one system call for one thread? by Guanghui, Cheng
2
by Guanghui, Cheng

About the JDB debugger by Guanghui, Cheng
0
by Guanghui, Cheng

the __main symbol in the crt0_x.S by Guanghui, Cheng
2
by Guanghui, Cheng

page fault:no entry in region list by fangzhengshu
1
by Björn Döbel

the memory overlapping problem when loading the two duplicate components by Guanghui, Cheng
2
by Guanghui, Cheng

My problem of I/O port by Ding ying
1
by Björn Döbel

Re: l4-hackers Digest, Vol 76, Issue 13 by fangzhengshu
1
by Ronald Aigner

can server side get the thread id of client side? by fangzhengshu
2
by fangzhengshu

Re: l4-hackers Digest, Vol 76, Issue 10 by fangzhengshu
0
by fangzhengshu

one question about l4_thread_ex_regs flags by Guanghui, Cheng
4
by Guanghui, Cheng

seL4 kernel is formally verified by Gernot Heiser-2
8
by Gernot Heiser-2

Howto implement a periodic real-time task? by Andre Puschmann-3
6
by Andre Puschmann-3

problems running l4linux No.2 by Stefan Kögel
3
by Adam Lackorzynski

interrupt registration by eric johnson-26
2
by eric johnson-26

compiling Fiasco trunk, Bison trouble by Roman Beslik
5
by Adam Lackorzynski

problems running l4linux by Stefan Kögel-2
1
by Adam Lackorzynski

problem with l4linux by fangzhengshu
2
by Adam Lackorzynski

the dde_linux26 link error by Guanghui, Cheng
3
by Guanghui, Cheng

Call for Papers: Embedded Software Track at DATE 2010 by André Hergenhan
0
by André Hergenhan

the drops-x.rd by fangzhengshu
1
by Norman Feske-2

read string from server array error! by fangzhengshu
2
by Björn Döbel

Re: l4-hackers Digest, Vol 72, Issue 8 by fangzhengshu
2
by fangzhengshu

running cpu_reserve examples by Andre Puschmann-3
0
by Andre Puschmann-3
Post to L4 Post New Message  ::  Alert me of new posts  ::  Atom feed for L4
« Newest  ‹ Newer  —  Threads 1-35  —  Older