Where is 'sys/types.h' on the Jetson TK1 board ?

I can not find ‘sys/types.h’ header files, which is usually in directory ‘/usr/include’ of a Linux system.
Where is the ‘sys’ directory with the header files (types.h., …) I need in GCC ?

The OS is Ubuntu Linux: 14.04.2 LTS. I am compiling directly on the board (no cross-compile).
The GCC compiler is the pre-installed one (GCC Ubuntu/Linaro 4.8.2-19ubuntu)

I don’t know if this is truly a correct answer or not, but on ARM hard float the correct directory is probably:


This is provided by package libc6-dev. You might add the ARM hf directory to your include path and test again:


Some larger complex apps have their own copy, UE4 for example. You can install locate, then run sudo updatedb, then try locate sys/types.h to see where it exists on your system.

updatedb is really heavy so if you need to find files only rarely, using a simple slow find might be better.

Something like this:

sudo find / -name types.h | grep /sys/