title: AARCH64 gcc #include <stdint.h> fails
body: <p>I am trying to compile some kernel code for a raspberry pi 3 from a x86 computer using the aarch64 cross compiler in one of my source files I require stdint.h however when I try to compile it fails saying</p>
  
  <pre><code>&gt;make
  rm kernel8.elf *.o &gt;/dev/null 2&gt;/dev/null || true
  rm -rf *.o *.img *.elf
  aarch64-linux-gnu-gcc -Wall -c start.s -o start.o
  aarch64-linux-gnu-gcc -Wall -c delays.c -o delays.o
  In file included from gpio.h:4:0,
                   from delays.c:26:
  /usr/lib/gcc/aarch64-linux-gnu/7/include/stdint.h:9:16: fatal error: stdint.h:     No such file or directory
   # include_next &lt;stdint.h&gt;
                  ^~~~~~~~~~
  compilation terminated.
  make: *** [Makefile:15: delays.o] Error 1
  </code></pre>
  
  <p>I am running Fedors 26 and have used</p>
  
  <pre><code>sudo dnf install *aarch64*
  </code></pre>
  
  <p>so I have all the appropriate packages or should have.</p>