Documentação
Documentação técnica
Toda a documentação do aOS vive no repositório, versionada junto do código que descreve. Esta página é o índice; as fontes canónicas são os ficheiros ligados abaixo.
Começar
O ambiente de desenvolvimento é uma VM Debian Bookworm gerida por Vagrant sobre KVM/QEMU. É deliberadamente portátil: guarda os volumes dentro da árvore do próprio projecto, o que permite trabalhar a partir de uma pen USB.
git clone https://github.com/Instituto-Superior-de-Angola/projecto_angolanOS.git
cd projecto_angolanOS/src/build_system/
vagrant up # iniciar a VM de compilação
vagrant ssh # aceder ao terminal da VM
vagrant halt # parar a VMArquitectura
Como o sistema está construído: a base Debian, as camadas nacionais acrescentadas e as decisões que as justificam.
Arquitectura da distribuição
Estrutura geral do sistema, edições, núcleo partilhado e estratégia de empacotamento.
docs/arquitectura/ARQUITECTURA_DISTRIBUICAO.md
Infraestrutura de chaves
Cadeia de confiança criptográfica, Autoridade Certificadora nacional e gestão de HSM.
docs/arquitectura/INFRAESTRUTURA_CHAVES.md
Builds reproduzíveis
Uma distribuição estatal só é auditável se qualquer terceiro puder reconstruir as suas imagens e obter exactamente o mesmo resultado.
Roteiro de reprodutibilidade
Requisitos de determinismo, ambiente de compilação isolado e verificação por terceiros.
docs/arquitectura/ROTEIRO_REPRODUTIBILIDADE.md
Instruções de builds reproduzíveis
Regras operacionais aplicadas a cada pacote submetido ao repositório.
.github/instructions/reproducible-builds.md
Governança
Quem decide o quê, com que mandato e sob que auditoria. O programa é coordenado pelo ISA com os Círculos de Governança D1 a D4.
Ontologia e terminologia
O vocabulário formal do sistema — indispensável para que humanos e agentes automáticos descrevam o aOS da mesma maneira.