std.rpi revision 1.15
11.15Sjnemeth# $NetBSD: std.rpi,v 1.15 2014/08/24 07:59:22 jnemeth 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.10Sskrlloptions MODULAR 121.15Sjnemethoptions MODULAR_DEFAULT_AUTOLOAD 131.13Sskrlloptions ARM11_COMPAT_MMU 141.4Sskrlloptions __HAVE_CPU_COUNTER 151.1Sskrlloptions __HAVE_FAST_SOFTINTS # should be in types.h 161.2Sskrlloptions __HAVE_CPU_UAREA_ALLOC_IDLELWP 171.14Sskrlloptions __HAVE_MM_MD_DIRECT_MAPPED_PHYS 181.2Sskrlloptions TPIDRPRW_IS_CURCPU 191.8Smattoptions ARM_HAS_VBAR 201.6Sskrlloptions KERNEL_BASE_EXT=0xc0000000 211.5Sskrll 221.5Sskrlloptions EVBARM_BOARDTYPE="rpi" 231.1Sskrllmakeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi" 241.9Smattmakeoptions LOADADDRESS="0xc0008000" 251.1Sskrll 261.1Sskrlloptions ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>" 271.1Sskrlloptions ARM_GENERIC_TODR 28