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
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of L4KA microkernel!