On Sun, 21 May 2023 at 14:58, Demi Marie Obenour < d...@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 -- William ML Leslie _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
