IBASE SMARC-EVK1 - Manual (Page 57)

Copyright © 2013 IBASE Technology Inc. All Rights Reserved.
31 IBASE Technology Inc.
5.1.4. Building kernel
# Assume your linux kernel source is at ~/linux_bsp/kernel-3.0.35
cd ~/linux_bsp/kernel-3.0.35
make ARCH=arm clean
make ARCH=arm
CROSS_COMPILE=/opt/freescale/usr/local/gcc-4.6.2-glibc-2.13-linaro-multilib-2011.12/
fsl-linaro-toolchain/bin/arm-none-linux-gnueabi- uImage