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
Operating System KernelsLicense
GNU General Public License version 2.0 (GPLv2)Follow L4KA microkernel
Other Useful Business Software
The Most Powerful Software Platform for EHSQ and ESG Management
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of L4KA microkernel!