3 SYSTEM_FIRST_OBJ= imx31lk_start.o
4 SYSTEM_FIRST_SFILE= ${THISARM}/imx31/imx31lk_start.S
6 KERNEL_BASE_PHYS=0x80100000
7 KERNEL_BASE_VIRT=0x80100000
9 SYSTEM_LD_TAIL_EXTRA+=; \
10 echo ${OBJCOPY} -S -O binary $@ $@.bin; \
11 ${OBJCOPY} -S -O binary $@ $@.bin; \
13 EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}