58 Open Source Microkernel Software Projects

Free and open source microkernel code projects including engines, APIs, generators, and tools.