Inclua os arquivos device.c e device.h no projeto. O arquivo OSDevConfig.h define que drivers estão habilitados no sistema. O esqueleto de um driver de UART é disponibilizado. Esse é o único código que deve ser implementado, considerando o hardware utilizado.