4 ms·
Also worth checking out Drew DeVault's Helios Microkernel, which is based on SeL4. https://ares-os.org/docs/helios/ https://ares-os.org/docs/helios/
by alphazard 2y ago
Also worth checking out Drew DeVault's Helios Microkernel, which is based on SeL4.
https://ares-os.org/docs/helios/ https://ares-os.org/docs/helios/
- kevinherron 2y agoI think there's a meaningful difference between "based on" and "inspired by", Helios being the latter.