Cópia do projeto privado: https://nop.dainf.ct.utfpr.edu.br/nop-implementations/nopl-technology/nopl-technology-1/nopl-technology-1_0-kernel