std.rpi revision 1.20
11.20Sskrll# $NetBSD: std.rpi,v 1.20 2017/12/10 21:38:26 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.20Sskrlloptions FDT # Flattened Device Tree support 121.20Sskrlloptions DRAM_BLOCKS=256 131.10Sskrlloptions MODULAR 141.15Sjnemethoptions MODULAR_DEFAULT_AUTOLOAD 151.16Sskrlloptions FPU_VFP 161.4Sskrlloptions __HAVE_CPU_COUNTER 171.20Sskrlloptions __HAVE_CPU_UAREA_ALLOC_IDLELWP 181.1Sskrlloptions __HAVE_FAST_SOFTINTS # should be in types.h 191.14Sskrlloptions __HAVE_MM_MD_DIRECT_MAPPED_PHYS 201.8Smattoptions ARM_HAS_VBAR 211.19Sskrlloptions KERNEL_BASE_EXT=0x80000000 221.5Sskrll 231.5Sskrlloptions EVBARM_BOARDTYPE="rpi" 241.1Sskrllmakeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi" 251.19Sskrllmakeoptions LOADADDRESS="0x80008000" 261.1Sskrll 271.20Sskrlloptions ARM_INTR_IMPL="<arch/arm/fdt/fdt_intr.h>" 281.1Sskrlloptions ARM_GENERIC_TODR 29