3 ms·

Composite OS is an interesting research micro kernel. It has great resources to help you to dig into it and its underlying principles! About page: https://comp

Composite OS is an interesting research micro kernel. It has great resources to help you to dig into it and its underlying principles! About page: https://composite.seas.gwu.edu/ https://composite.seas.gwu.edu/ GitHub: https://github.com/gwsystems/composite https://github.com/gwsystems/composite

gnufx 4y ago
It seemed to be in a similar space to Genode when I had a brief look. Is it clear how it compares? A system that claims to allow you to configure it in microkernel and other modes might be interesting for comparison of the approaches, but I've only noticed it via a local connexion: https://project-flexos.github.io/ https://project-flexos.github.io/