I'm always interested in learning about things like this. For example, it was really neat to learn that the Intel SME ran the Minix microkernel. Or it was neat

I'm always interested in learning about things like this. For example, it was really neat to learn that the Intel SME ran the Minix microkernel. Or it was neat to learn that the Apple secure enclave was running the L4 microkernel.