| 
Micro Kernel
Parent Categories/Forums: None
Edit this Forum

Micro Kernel

Search:
Child Forums (3):
  • L4: (10/10)
    L4
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›

Thread (848 Threads) Rating Replies Last Message Child Forum

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

Device Driver Reuse by Roberto Jung Drebes-...
3
by Jan Stoess-2

Conflict with multiboot module 0 by antonik
1
by Jan Stoess-2

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

booting question by neo anderson
1
by neo anderson

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

Sample applications freeze during execution by Andrew Price-5
1
by Philipp Kupferschmie...

Re:Sample applications freeze during execution by Gao Ya'nan
0
by Gao Ya'nan

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

booting question by neo anderson
0
by neo anderson

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
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Atom feed for Micro Kernel
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free embeddable forum powered by Nabble Forum Help