On Sun, 21 May 2023 at 14:58, Demi Marie Obenour < demi@invisiblethingslab.com> wrote:
(Off-topic) Where can I find information on Coyotos? What advantages does it have over seL4, and do you plan to formally verify it in the future?
I maintain Coyotos and its toolchain on my gitlab, but so far it has been mostly maintenance rather than active development.
I sometimes discuss progress and questions on the general cap-talk google group.
I'm trying to use it as a test bed for things that could eventually make it into seL4, without having to hit a moving target or need to keep existing users happy. So, formal verification is at the very least out of reach for me at this point. I definitely recommend seL4 for production deployments, not only because of the better support and the verification, but also because the documentation is much higher quality.
https://gitlab.com/william-ml-leslie/coyotos