>is that even it's design purpose?
It is not. The closest thing you'll get to it that has the features you mention, is Qubes OS [0].
When it comes to the L4 family, Google's adoption of seL4 [1] might be interesting to you, and possibly L4Re [2] [3], which is open source (not their tooling, though) with commercial support.
Edit: there's a bunch more open source activity in this field, but I'm not familiar with it.
[1] https://opensource.googleblog.com/2022/10/announcing-kataos-...