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