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
Go from Code to Production URL in Seconds
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of L4KA microkernel!