Descrição
Ambientes de build do microkernel seL4 podem receber o conjunto de dependências Python esperado por ferramentas relacionadas. Desenvolvedores que trabalham no seL4 podem instalar este metapacote para reunir auxiliares de build necessários em vez de selecioná-los um a um. É metadado de dependências e não fornece um aplicativo próprio.