It seemed to be in a similar space to Genode when I had a brief look. Is it clear how it compares? A system that claims to allow you to configure it in microk

It seemed to be in a similar space to Genode when I had a brief look. Is it clear how it compares? A system that claims to allow you to configure it in microkernel and other modes might be interesting for comparison of the approaches, but I've only noticed it via a local connexion: https://project-flexos.github.io/ https://project-flexos.github.io/