L4KA microkernel
inactiveDescription
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/
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of L4KA microkernel!