title: no stdint.h file on Debian
body: <p>I'm trying to use Chibios. The example code they provide seems to need stdint.h file. The Makefile gives the following error: </p>
  
  <pre><code>/usr/lib/gcc/arm-none-eabi/4.8/include/stdint.h:9:26: fatal error: stdint.h: No such file or directory
   # include_next &lt;stdint.h&gt;
                            ^
  compilation terminated.
  ../../os/ports/GCC/ARMCMx/rules.mk:182: recipe for target 'build/obj/crt0.o' failed
  make: *** [build/obj/crt0.o] Error 1
  </code></pre>
  
  <p>I could find nothing useful in the web. </p>