| 
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 36-70  —  Older ›

Thread (248 Threads) Rating Replies Last Message Child Forum

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...

What's the difference between Quantum and Timeslice ? by lion
2
by lion

malformed request by Samreen Hameed
2
by Philipp Kupferschmie...

puzzle about about page fault in sigma0 space by Bob-293
4
by Philipp Kupferschmie...

How to access VRAM physical address on L4 ? by Katsumi Maruyama
5
by Philipp Kupferschmie...

what about pistachio on PowerPC? by Guanghui, Cheng
1
by Volkmar Uhlig

Another question about L4 system call by Bob-293
7
by Bob-293

Problem getting started by Thomas Jeunet
2
by Thomas Jeunet

Need help about L4_KernelInterface() by Bob-293
1
by Neal H. Walfield

Need help on setting up L4 VM [beginner] by neohtm
4
by Jan Stoess

where is the kernel entry? by Bob-293
1
by Jan Stoess

question about roottask by Bob-293
5
by Neal H. Walfield

Patch for tools autobuild by Nakamura Kazutaka
0
by Nakamura Kazutaka

about L4 kernel address mapping..got messed. by Bob-293
1
by Jan Stoess

SMP problems with Thinkpad X60s by Julian Stecklina-2
8
by Julian Stecklina-2

Question about systemcall by Bob-293
1
by Jan Stoess

RPC overhead by Neal H. Walfield
1
by Ben Leslie-2

please lower the barrier for novice users, up-to-date instructions with screenshots by marian klein
2
by Jan Stoess

Legacy 8259 PIC driver questions by Sebastian Reichelt-2
0
by Sebastian Reichelt-2

bug fix by Thomas Chen
1
by Jan Stoess

Propagation / Deception by Neal H. Walfield
0
by Neal H. Walfield

informations how providing security for embedded systems through virtualization by sabir larbi
0
by sabir larbi

tools name errors by christophe malvasio
0
by christophe malvasio

virtual networking in l4ka::pistachio by Ashish Bijlani
1
by Jan Stoess

SMP Scheduling by Julian Stecklina-2
4
by Jan Stoess

(nb) Marzipan on PPC ? by Antonin SUBTIL
1
by Jan Stoess

Fpage mapping in L4 Pistachio by Katsumi Maruyama
6
by Jan Stoess

Query by gorbaanand
0
by gorbaanand

Cannot start roottask by Julian Pidancet
0
by Julian Pidancet

Pistachio debugger: stack backtrace by Julian Stecklina-2
1
by Jan Stoess

problem about writing a hello world for VM by 于爱民
1
by Jan Stoess

problem when booting Linux With Wedge by 于爱民
1
by Jan Stoess

some quest about L4 concepts and marzipan by 于爱民
1
by Espen Skoglund

how to boot linux on marzipan by 于爱民
2
by 于爱民
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Atom feed for l4ka project
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›
Free embeddable forum powered by Nabble Forum Help