| 
Micro Kernel
 » 
l4ka project
Parent Categories/Forums: Micro Kernel
Edit this Forum

l4ka project

Search:
L4Ka microkernel research project.
Child Forums (2):
  • L4Ka: (10/10)
    L4Ka
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 (246 Threads) Rating Replies Last Message Child Forum

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

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

booting question by neo anderson
1
by neo anderson

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

booting question by neo anderson
0
by neo anderson

Error by building the user-level code by lalas
1
by Jan Stoess

[ANNOUNCE] Introducing Codezero by Bahadir Balban-6
0
by Bahadir Balban-6

Build error for Amd64 by ambrosehuang ambrose
1
by Jan Stoess

issue in afterburner--same as " Afterburner running problem" thread by Amit Mahajan-2
1
by Jan Stoess

Check out my photos on Facebook by Muhammad Saufy Rohma...
0
by Muhammad Saufy Rohma...

[PATCH] fix improper return of local sender TID in propagated IPC by Kalle A. Sandstrom
2
by Kalle A. Sandstrom

How about a 0.5 release? by Kalle A. Sandstrom
0
by Kalle A. Sandstrom

A problem when building pistachio by watchmanxu
3
by Philipp Kupferschmie...

Re: Fastpath on x32: Every single cycle by Moritz Kroll
0
by Moritz Kroll

Re: StringItem length by Moritz Kroll
0
by Moritz Kroll

Announcement: Genode OS Framework version 9.02 released by Christian Helmuth-2
0
by Christian Helmuth-2

Fastpath on x32: Every single cycle by Moritz Kroll
0
by Moritz Kroll

StringItem length by Moritz Kroll
0
by Moritz Kroll

Double allocation of UTCB__MAPPING in Pistachio by Moritz Kroll
1
by Philipp Kupferschmie...

Compiling L4Ka::Pistachio with SMP support by Jim Whitehead II-2
2
by Jim Whitehead II-2

Afterburner running problem by Alexander Valitov
1
by Jan Stoess

Announcement: Genode OS Framework on Pistachio by Norman Feske-2
0
by Norman Feske-2

CAmkES: component-based development for L4 by Ihor Kuz
0
by Ihor Kuz

pistachio with busybox/shell & build system by Ladislav Klenovic
2
by zjuskie

RE: Problem with the configuring user-level code of L4Ka::Pistachio by Jan Stoess
0
by Jan Stoess

gt timer interrupt problem.. by Samreen Hameed
0
by Samreen Hameed

libserial --- help by Muhammad Asif-4
0
by Muhammad Asif-4

Wrong definition for the "x86_x32_tss_t" class ? by Wilfried Catteau
4
by Jan Stoess

Help Required for Pager by Muhammad Asif-4
1
by Julian Stecklina-2

How does pistachio deal with the priority inversion? by lion
5
by Raphael Neider

Some remarks on Pistachio. by Wilfried Catteau
1
by Raphael Neider

only kernel can access copy_area ? by lion
3
by lion

Problems to set up Pistachio by Lutz Schönemann
4
by Philipp Kupferschmie...

error in requesting pages from sigma0 by Samreen Hameed
1
by Philipp Kupferschmie...
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Atom feed for l4ka project
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free embeddable forum powered by Nabble Forum Help