1#	$NetBSD: mk.rpi,v 1.2 2012/12/10 05:02:14 matt Exp $
2
3CPPFLAGS+= -march=armv6z -mtune=arm1176jzf-s -mfpu=vfp
4
5SYSTEM_FIRST_OBJ=	rpi_start.o
6SYSTEM_FIRST_SFILE=	${THISARM}/rpi/rpi_start.S
7
8_OSRELEASE!=		${HOST_SH} $S/conf/osrelease.sh
9
10GENASSYM_EXTRAS+=	${THISARM}/rpi/genassym.cf
11
12KERNEL_BASE_PHYS=0x00008000
13KERNEL_BASE_VIRT=0xc0008000
14
15SYSTEM_LD_TAIL_EXTRA+=; \
16	echo ${OBJCOPY} -S -O binary $@ kernel.img; \
17	${OBJCOPY} -S -O binary $@ kernel.img
18