QNX keeps going on high integrity computing, a domain where hypervisors and microkernels actually matter.

https://qnx.software

https://www.qnx.com/developers/docs/8.0/index.html

That warms my heart