48 karma · joined August 30, 2017
[1] https://www.espn.com/mma/ufc/story/_/id/38827608/art-jimmers...
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-...
Would you mind telling me what immunotherapy you get, specifically for cats? I'm currently on Grazax for grasses etc. I would love to be able to get a cat, but I am quite allergic and get flu-like symptoms after a while. (Also, my blood tests don't show that I'm allergic to cats, so that complicates things).
https://library.artstor.org/#/asset/SS7730456_7730456_118706...