#	$NetBSD: mk.rpi,v 1.4 2015/02/28 09:34:34 skrll Exp $

SYSTEM_FIRST_OBJ=	rpi_start.o
SYSTEM_FIRST_SFILE=	${THISARM}/rpi/rpi_start.S

_OSRELEASE!=		${HOST_SH} $S/conf/osrelease.sh

GENASSYM_EXTRAS+=	${THISARM}/rpi/genassym.cf

KERNEL_BASE_PHYS=0x00008000
KERNEL_BASE_VIRT=0x80008000

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

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