L4KA microkernel

Add a Review
1 Download (This Week)
Last Update:
Download l4-ka_RC2.tar.bz2
Browse All Files
Windows Mac Linux


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/

L4KA microkernel Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of L4KA microkernel!

Additional Project Details



Intended Audience

Developers, Education, Science/Research

Programming Language

Assembly, C, C++


Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.