l4ka microkernel

We have hosted the application l4ka microkernel in order to run this application in our online workstations with Wine or directly.

Quick description about l4ka microkernel:

The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka: : Hazelnut. This kernel has been discontinued in favor of L4Ka: : Pistachio. See http: //l4ka.org/.

Audience: Developers, Education, Science/Research.

Programming Language: Assembly, C, C++.
Categories: