More like Barrelfish or NRKernel.

https://barrelfish.org/

https://nrkernel.systems/