Hubris is a microkernel-ish OS for embedded systems, and has a bunch of documentation about its design: https://hubris.oxide.computer/reference/ https://hubris

Hubris is a microkernel-ish OS for embedded systems, and has a bunch of documentation about its design: https://hubris.oxide.computer/reference/ https://hubris.oxide.computer/reference/ It's all open-source on Github: https://github.com/oxidecomputer/hubris https://github.com/oxidecomputer/hubris (I work at Oxide, mostly using Hubris)