std.rpi revision 1.5
11.5Sskrll# $NetBSD: std.rpi,v 1.5 2013/02/19 10:57:10 skrll Exp $ 21.1Sskrll# 31.1Sskrll# standard NetBSD/evbarm for Raspberry Pi options 41.1Sskrll 51.1Sskrllmachine evbarm arm 61.3Smattinclude "arch/evbarm/conf/std.evbarm" 71.1Sskrll 81.1Sskrll# Pull in Raspberry Pi config definitions. 91.3Smattinclude "arch/evbarm/conf/files.rpi" 101.1Sskrll 111.5Sskrll#options FPU_VFP 121.5Sskrll#options PMAP_NEED_ALLOC_POOLPAGE 131.5Sskrll#options __HAVE_MM_MD_DIRECT_MAPPED_PHYS 141.5Sskrll 151.4Sskrlloptions __HAVE_CPU_COUNTER 161.1Sskrlloptions __HAVE_FAST_SOFTINTS # should be in types.h 171.2Sskrlloptions __HAVE_CPU_UAREA_ALLOC_IDLELWP 181.2Sskrlloptions TPIDRPRW_IS_CURCPU 191.5Sskrll 201.5Sskrll# Use the default of 0x8000000 for a test 211.1Sskrlloptions KERNEL_BASE_EXT=0xc0000000 221.5Sskrlloptions EVBARM_BOARDTYPE="rpi" 231.1Sskrll 241.5Sskrll#makeoptions LOADADDRESS="0xc000c000" 251.1Sskrllmakeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi" 261.1Sskrllmakeoptions CPPFLAGS+="-I$S/../../../include" 271.1Sskrll 281.1Sskrlloptions ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>" 291.1Sskrlloptions ARM_GENERIC_TODR 30