Conheça o GENODE, um framework para criar Sistemas Operacionais

Escrito em C++ e reduz a complexidade de criação de forma segura!


Conheça o GENODE, um framework para criar Sistemas Operacionais

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.img

Hash 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=fsync

Para 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 .

Fui!


cpp unix linux


Compartilhe


Nosso canal no Youtube

Inscreva-se


Marcos Oliveira

Marcos Oliveira

Desenvolvedor de software
https://github.com/terroo

Artigos Relacionados




Crie Aplicativos Gráficos para Linux e Windows com C++

Aprenda C++ Moderno e crie Games, Programas CLI, GUI e TUI de forma fácil.

Saiba Mais

Receba as novidades no seu e-mail!

Após cadastro e confirmação do e-mail, enviaremos semanalmente resumos e também sempre que houver novidades por aqui para que você mantenha-se atualizado!


caso queira entrar em contato conosco, envie-nos um e-mail.