Genode OS is a tool kit for building highly secure special-purpose OS

9 hours ago (genode.org)

I haven't seen the "This is how you use it as a daily driver" video yet. Maybe it's lack of google-fu on my part?

If I can throw it on an inexpensive desktop, and the run Linux and Windows under it, and maybe do some Lazarus/Free pascal development, I'll be a happy camper.

Reminds me of T2 SDE:

a highly customizable and portable build system for creating complete Linux distributions from source. It serves as a robust toolkit for building everything from embedded platforms to full desktop systems

https://t2linux.com/about.html