asterinas

Um núcleo de sistema operacional seguro, rápido e de uso geral escrito em ferrugem e compatível com o Linux

Inglês | 中文版 | 日本語

Apresentando asterinas

O Asterinas é um kernel do sistema operacional seguro , rápido e de uso geral que fornece ABI compatível com Linux . Pode servir como um substituto contínuo para o Linux, enquanto aprimora a segurança da memória e a simpatia do desenvolvedor .

• Asterinas priorizam a segurança da memória empregando a ferrugem como sua única linguagem de programação e limitando o uso de ferrugem insegura a uma base de computação confiável e claramente definida e mínima (TCB). Essa abordagem inovadora, conhecida como Arquitetura Framekernel, estabelece asterinas como uma opção de kernel mais segura e confiável.

• Asterinas supera o Linux em termos de facilidade de desenvolvedor. Ele capacita os desenvolvedores do kernel a (1) utilizar a linguagem de programação de ferrugem mais produtiva, (2) alavancar um kit de ferramentas criado para propósito chamado OSDK para otimizar seus fluxos de trabalho e (3) escolher entre liberar seus módulos de kernel como código aberto ou mantê-los proprietários, agradecimentos à flexibilidade oferecida por Mpl.

Enquanto a jornada em direção a um núcleo de produção de produção pode ser um desafio, estamos progredindo firmemente em direção ao nosso objetivo. Atualmente, asterinas suportam apenas x86-64 VMs. No entanto, nosso objetivo para 2024 é fazer asterinas prontas para produção em VMs x86-64.

Começando

Obtenha uma máquina Linux x86-64 com o Docker instalado. Siga as três etapas simples abaixo para colocar asterinas em funcionamento.

1. Faça o download do código fonte mais recente.

git clone https://github.com/asterinas/asterinas

2. Execute um contêiner do Docker como o ambiente de desenvolvimento.

docker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3

3. Dentro do contêiner, vá para a pasta do projeto para construir e executar asterinas.

make build
make run

Se tudo correr bem, asterinas agora estão em funcionamento dentro de uma VM.

O livro

Veja o livro Asterinas para saber mais sobre o projeto.

Licença

O código -fonte e a documentação de Asterinas usam principalmente a licença pública de Mozilla (MPL), versão 2.0. Os componentes selecionados estão sob licenças mais permissivas, detalhadas aqui. Para as justificativas por trás da escolha do MPL, veja aqui.