Para rodar e debugar os códigos, foi utilizado o docker configurado e contido neste repo: https://github.com/EpicEric/gcc-arm

Para que funcione o makefile, é necessário instalar o make na imagem do docker, alterando o arquivo dockerfile