Coyotos é um sistema operacional demicronúcleo com foco em segurança baseado em recursos sendo desenvolvido pelo Grupo EROS, LLC. É um sucessor do sistemaEROS que foi criado naUniversidade da Pensilvânia eJohns Hopkins University. Ele não está mais sendo ativamente desenvolvido.
Coyotos é considerado por seus criadores como "um passo evolutivo"[1] além do sistema operacionalEROS, que foi derivado por sua vez doKeyKOS, que se originou doGNOSIS (Great New Operating System In the Sky). O desenvolvedor principal do EROS foi Jonathan S. Shapiro, que foi também a principal força por trás dos projetos do Coyotos e da linguagem de programaçãoBitC, antes de aceitar um emprego naMicrosoft.[2] Uma história mais completa pode ser encontrada emHistory:"The Path to Coyotos". Desde meados de 2006 os desenvolvedores do Coyotos têm trabalhado com os desenvolvedores doGNU Hurd para tornar o Coyotos um micronúcleo apropriado para GNU Hurd, entretanto, o progresso é lento.
Embora tivesse muitos objetivos, um do mais interessantes era se tornar o primeiro sistema operacionalformalmente verificado. Para dar suporte à busca para este objetivo, o projeto Coyotos desenvolveu, concorrentemente, uma nova linguagem de programação chamadaBitC e um novo compilador chamadoBitCC.
Coyotos usa um projeto de micronúcleo que "retém a atomicidade e projeto puramente baseado em capacidades do sistema EROS",[3] mas que "introduz um mecanismo de mapeamento de memória mais eficiente". Compare isto com as famílias de micronúcleoMach eL4.