Porting e expansão de um µkernel SMP baseado em P-Thread para uma plataforma ARM Quad-core - Fernandes, Carlos Alberto da Cunha (2015)