ReTMiK (Real-Time Micro-mouse Kernel) v2.0

Resumo

O ReTMiK é um kernel de Tempo-Real, criado em 1997 no âmbito do concurso Micro-Rato da UA. Desde 1998 que foi utilizado por várias equipas no referido concurso, sem nunca ter sofrido qualquer alteração. Em finais de 2003, no âmbito da disciplina Sistema de Tempo-Real, opção do 5º ano da LEET, foram adicionadas novas funcionalidades a este kernel por forma a disponibilizar novas possibilidades aos seus utilizadores, bem como para auxiliar o desenvolvimento de um sistema operativo baseado no ReTMiK. Entre as principais novidades desta versão encontram-se novos mecanismos para facilitar a sincronização e gestão de tarefas, novos algoritmos de escalonamento e a adopção de uma licença de software livre.