Testes
Testes
Incluida biblioteca uart, mas nao esta a funcionar bem, a utilizaçao dos
printf faz a inicializaça do kernel o falhar