RROS: Dual-kernel OS for Satellites (#RustLang RTOS)
@railmeat @lupyuen MacOS could possibly count as one with XNU. A modern x86-64 computer will have something similar due to the CPU having its own microOS running an OS that could be running HyperX so that would be 3 kernels. I think GPUs have something similar so it might be 4 kernels. A wireless adapter would make it 5 kernels and so on. There's also storage which would bump it up to 6.