There are 2 repositories under hybrid-kernel topic.
Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully asynchronous and the kernel is aimed at high-scaling, high-throughput-requiring multiprocessor workloads, with working support for SMP and NUMA already implemented. Join the IRC channel, #zbz-dev on freenode!
The Silcos kernel is a hybrid, robust and compact modular kernel which provides a platform to build the Silcos OS and SilkUI
🧠️🐧️💾️ The operating system kernel source repository for the NUNIX operating system project.