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