#	$NetBSD$
CPPFLAGS+= -mcpu=arm1136jf-s

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@}