#SeL4 microkernel "will be used in real-time embedded computing systems, which need the best possible security. It's expected to be used in such fields as avionics, autonomous vehicles, medical devices, critical infrastructure, and defense"...
https://www.zdnet.com/article/linux-foundation-backs-security-oriented-sel4-microkernel-operating-system/