Я пытаюсь использовать Chibios. Пример кода, который они предоставляют, кажется, нужен файл stdint.h. Файл Makefile выдает следующую ошибку:
/usr/lib/gcc/arm-none-eabi/4.8/include/stdint.h:9:26: fatal error: stdint.h: No such file or directory
# include_next <stdint.h>
^
compilation terminated.
../../os/ports/GCC/ARMCMx/rules.mk:182: recipe for target 'build/obj/crt0.o' failed
make: *** [build/obj/crt0.o] Error 1
Я не мог найти ничего полезного в Интернете.