# $NetBSD: mk.tisdp24xx,v 1.5 2013/12/05 15:53:50 matt Exp $ CPPFLAGS+= -march=armv6z -mtune=arm1136jf-s -mfpu=vfp SYSTEM_FIRST_OBJ= sdp24xx_start.o SYSTEM_FIRST_SFILE= ${THISARM}/tisdp24xx/sdp24xx_start.S KERNEL_BASE_PHYS=0x80300000 KERNEL_BASE_VIRT=0x80300000 SYSTEM_LD_TAIL_EXTRA+=; \ echo ${OBJCOPY} -S -O binary $@ $@.bin; \ ${OBJCOPY} -S -O binary $@ $@.bin; \ EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@} |