There’s actually a real-time microkernel that millions of children use daily. It’s called the Nintendo Switch. (But seriously, it’s a homegrown microkernel RTO

There’s actually a real-time microkernel that millions of children use daily. It’s called the Nintendo Switch. (But seriously, it’s a homegrown microkernel RTOS. Look up “Nintendo Switch System Software” if that sounds bizarre.)