1.Microkernel development: from project to implementation Rodrigo Maximiano Antunes de Almeida E-mail: [email protected] Twitter: @rmaalmeida Universidade Federal de Itajubá2.…