Error compilation kernel

Question

Trying to compile a linux kernel on Ubuntu 16.04 for an embedded board and I have this error during make :

fatal error: mach/cputype.h: No such file or directory
compilation terminated.

The board I use is the TMDSLCDK138 integrating the OMAPL138. I installed the TI SDK from here http://software-dl.ti.com/sdoemb/sdoemb_public_sw/mcsdk/latest1/index_FDS.html and in the installation folder there is a custom linux SDK called "linux-3.3-psp03.22.00.06.sdk". This is what I did so far :
sudo make O=/home/BOB/omapbuild/omap_linux/ menuconfig
To configure the kernel for my board.

And next :
sudo make O=/home/BOB/omapbuild/omap_linux/ And it is here where I got the error.

All my headers are up to date.

Answer 1

Thanks to the comments I could compile the kernel by setting up the good environment:

export ARCH=arm
export PATH=/home/bob/ti/mcsdk_1_01_00_02/linux-devkit/sysroots/i686-arago-linux/usr/bin/:$PATH
export CROSS_COMPILE=arm-arago-linux-gnueabi-

and then for the TMDSLCDK138 board :

make tisdk_omapl138-lcdk_defconfig
make uImage