Parent Categories/Forums: l4ka project
Edit this Forum

L4Ka

Search:
This forum is an archive for the mailing list: l4ka@ira.uka.de (mailing list options). Messages posted here will be sent to this mailing list.

L4Ka microkernel research project.
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 L4Ka Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older

Thread (84 Threads) Rating Replies Last Message

PG needs to be enabled before PGE by Marcus Brinkmann
0
by Marcus Brinkmann

L4Linux and paravit_ops? by Colin Burgess-2
2
by Espen Skoglund

L4Ka::Pistachio code style by arnuld fraser
5
by arnuld fraser

SMP Support by Michael J. Emswiler-...
7
by Michael J. Emswiler

learning about "microkernel" based OS by arnuld fraser
1
by Hans-Martin Mosner

system call by Suresh Iyer
1
by Espen Skoglund

OS programming with L4Ka::Pistachio by arnuld fraser
3
by Bernhard Poess

Re: Cross Tool Chain for Pistachio on PPC by Valeriy E. Ushakov
1
by Vasily Levchenko

L4_Word_t vs. void* by Joshua Haberman
1
by Espen Skoglund

mapping pages into new address spaces by Joshua Haberman
15
by Espen Skoglund

transfer of execution with IPC by Joshua Haberman
3
by Joshua Haberman

error message for invalid mapping? by Joshua Haberman
4
by Espen Skoglund

error message for invalid mapping? by Joshua Haberman-2
2
by Espen Skoglund

How to run user program by Zhou Ya Jin
1
by Andrew Baumann

How to run user program by Ya-Jin Zhou
0
by Ya-Jin Zhou

hi..i'm a person who is the freshman that studying microkernel by 신동석
2
by Joshua LeVasseur

NICTA-Ericsson secure-OS collaboration by Gernot Heiser
0
by Gernot Heiser

L4.sec implementation and formal verification by Guillaume FORTAINE
1
by Gernot Heiser

bug in segment_t::insert_entry (ppc64) by Tom Bachmann
1
by Tom Bachmann

scheduler syscall requirements by Al-37
2
by Volkmar Uhlig

PowerPC 405 by Javier Cabezas Rodrí...
2
by Javier Cabezas Rodrí...

l4linux on pistachio with intel c compiler by victor jimenez
4
by Joshua LeVasseur

wikipedia article by Hámorszky Balázs-2
2
by Nikolas Britton

RE: Reading a PCI device memory mapped region by Jan Stoess
0
by Jan Stoess

RE: Pistachio: Code for parsing the ACPI tables doesn't map everyphysical pointer by Jan Stoess
0
by Jan Stoess

Fix: character loss on serial console by Frank Mehnert-2
0
by Frank Mehnert-2

Congratulations by Cesar Mello
0
by Cesar Mello

Virtualization future. by seth bollinger
7
by Jan Stoess

PowerPC interrupt setup by Matthias Lange-3
5
by Kay-Uwe.Genz

Aftherburner "make world" by Katsumi Maruyama
0
by Katsumi Maruyama

Migrating threads between spaces in L4.X2 by Mark P. Jones
4
by Espen Skoglund

compiling L4 with Intel C/C++ compiler by victor jimenez
2
by Espen Skoglund

error building afterburner by victor jimenez
4
by victor jimenez

Synthesize call to exc_catch_common by Javier Cabezas Rodrí...
4
by Jan Stoess

user_system_clock optimization by Javier Cabezas Rodrí...
5
by Javier Cabezas Rodrí...
Post to L4Ka Post New Message  ::  Alert me of new posts  ::  Atom feed for L4Ka
« Newest  ‹ Newer  —  Threads 36-70  —  Older