RedoxOS, yes... I like that!!! :)

But i still prefer Genode/Sculpt + seL4 (https://genode.org)

they are doing amazing work there!!! If only they had a nice GUI (say... LXQt, for example)