2 CPPFLAGS+= -mcpu=arm1136jf-s
4 SYSTEM_FIRST_OBJ= sdp24xx_start.o
5 SYSTEM_FIRST_SFILE= ${THISARM}/tisdp24xx/sdp24xx_start.S
7 KERNEL_BASE_PHYS=0x80300000
8 KERNEL_BASE_VIRT=0x80300000
10 SYSTEM_LD_TAIL_EXTRA+=; \
11 echo ${OBJCOPY} -S -O binary $@ $@.bin; \
12 ${OBJCOPY} -S -O binary $@ $@.bin; \
14 EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}