Comment Comment by runjake It's hard to tell. My guess is:- Probably a microkernel. See also: seL4 and similar.- Largely written in a safe language, like Rust (political turmoil willing).- It would be UNIX-like in some fashion.- Be immutable or partially-immutable (like macOS).- Support containerization.- Be capabilities-based and support Mandatory Access Control.- Satisfies Common Criteria requirements. https://en.wikipedia.org/wiki/Common_Criteria parent runjake 2 years ago
- Probably a microkernel. See also: seL4 and similar.
- Largely written in a safe language, like Rust (political turmoil willing).
- It would be UNIX-like in some fashion.
- Be immutable or partially-immutable (like macOS).
- Support containerization.
- Be capabilities-based and support Mandatory Access Control.
- Satisfies Common Criteria requirements. https://en.wikipedia.org/wiki/Common_Criteria