L4Ka Project

L4-based microkernel systems, for embedded systems to huge servers. L4: a tiny, fast, second generation microkernel using hierarchical external pagers and ...

Downloads

Downloads. ... L4Ka::Pistachio Downloads. The current version of L4Ka::Pistachio is 0.4. The L4Ka::Pistachio kernel, user-level applications, ...

Team

Team. ... dannowski_t.jpg, Uwe Dannowski PhD student, UKa. email: Uwe.Dannowski obfuscated sign, important part of email addresses ira.uka.de ...

L4Ka Publications

Research documents of the System Architecture Group, University of Karlsruhe, Germany.

Workshops

Workshops. ... Workshops on Microkernel-based Systems. These workshops on microkernels and microkernel-based systems bring together researchers to discuss ...

Tools

Tools. ... GCC and Binutils. To compile L4Ka you need gcc 2.95.2 and binutils 2.9.5. In the download section you find pre-compiled binutils and gcc for the ...

Related Projects

Related Projects. ... Related Projects. SawMill (IBM TJ Watson Research Center, University of Karlsruhe, TU Dresden): A multiserver Linux. ...

L4Ka Virtual Machine Technology

L4Ka Virtual Machine Technology. ... L4Ka Virtual Machine Technology. We research new technologies for improving the virtual machine experience, ...

L4Ka::Pistachio microkernel

L4Ka::Pistachio microkernel. ... L4Ka::Pistachio microkernel. L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the ...

L4Linux and L4Ka

L4Linux and L4Ka. ... Note: this project is obsolete. It has been replaced by the pre-virtualization project. We no longer support the L4Linux-2.4 project. ...