#	$NetBSD: mk.ixdp425,v 1.1 2003/05/23 00:57:27 ichiro Exp $

SYSTEM_FIRST_OBJ=	ixdp425_start.o
SYSTEM_FIRST_SFILE=	${THISARM}/ixdp425/ixdp425_start.S

KERNEL_BASE_PHYS=0x10200100
KERNEL_BASE_VIRT=0xc0200100

LINKFLAGS+= -EB

SYSTEM_LD_TAIL_EXTRA+=; \
	echo ${OBJCOPY} -S -O binary $@ $@.bin; \
	${OBJCOPY} -S -O binary $@ $@.bin

EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}