Genode OS Framework é um kit de ferramentas para a construção de sistemas operacionais de uso especial altamente seguros escrito em C++.
Ele pode ser dimensionado desde sistemas embarcados com apenas 4 MB de memória até cargas de trabalho de uso geral altamente dinâmicas.
Genode é baseado em uma estrutura de sistema recursiva. Cada programa é executado em uma área restrita dedicada e recebe apenas os direitos de acesso e recursos necessários para sua finalidade específica.
Os programas podem criar e gerenciar sub-sandboxes com seus próprios recursos, formando hierarquias onde as políticas podem ser aplicadas em cada nível. A estrutura fornece mecanismos para permitir que os programas se comuniquem entre si e negociem seus recursos, mas apenas de maneiras estritamente definidas.
Graças a esse regime rígido, a superfície de ataque das funções críticas de segurança pode ser reduzida em ordens de magnitude em comparação com os sistemas operacionais contemporâneos.
A estrutura alinha os princípios de construção de L4 com a filosofia Unix. Em linha com a filosofia Unix, Genode é uma coleção de pequenos blocos de construção, dos quais sistemas sofisticados podem ser compostos.
Mas, ao contrário do Unix, esses blocos de construção incluem não apenas aplicativos, mas também todas as funcionalidades clássicas do sistema operacional, incluindo kernels, drivers de dispositivo, sistemas de arquivos e pilhas de protocolo.
Recursos
- Arquiteturas de CPU: x86 (32 e 64 bits), ARM (32 e 64 bits), RISC-V
- Kernels: a maioria dos membros da família L4 (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka :: Pistachio, L4 / Fiasco), Linux e um kernel personalizado.
- Virtualização: VirtualBox (no NOVA), um monitor de máquina virtual personalizado para ARM e um tempo de execução personalizado para software Unix
Mais de 100 componentes prontos para uso!
Download
Para baixar o Genode, basta acessar esse link haverá 4 opções, sendo que Sculpt OS é um sistema operacional de uso geral baseado em Genode, imagens de sistema prontas para uso permitem que você use Genode sem a necessidade de compilar o sistema do zero.
Você pode baixar a imagem rapidamente com wget:
wget https://genode.org/files/sculpt/sculpt-21-10.imgHash SHA256:
a6c1cf9b438f084fa9fe6b8dabc256e5f62c51eecdcfecb47fd262427a4d1444
Crie uma partição e copie com o comando dd:
Exemplo:
sudo dd if=sculpt-21-10.img of=/dev/sdx bs=1M conv=fsyncPara mais informações e detalhes de uso utilize a documentação que por sinal é bem intuitiva!
Site oficial: https://genode.org/ e repositório oficial .
