Então, se você deseja um kernel protegido por memória, mas não está interessado no código enferrujado dos novos garotos, você pode estar interessado no kernel do Ironclad OS, escrito inteiramente em Ada.Sim, mas ele roda Linux…
Ah, espere, deixa pra lá, pelo menos até que alguém demonstre o Linux rodando sob emulação.Sim, o kernel do Ironclad OS é compatível com POSIX, como seu equivalente Redox OS baseado em Rust.A OSF vai gostar disso, e o resto de nós deve ser capaz de adicionar os blobs binários necessários para executar nosso hardware normalmente, então todos ganham.Parece que o BIOS dele não estava verificando a integridade do que foi obtido da unidade…
Eu, por exemplo, dou as boas-vindas aos nossos novos senhores bitglip.
Fonte: https://hackaday.com/2025/11/12/theres-no-rust-on-this-ironclad-kernel/
