1# $NetBSD: std.rpi,v 1.24 2018/10/18 09:01:54 skrll Exp $ 2# 3# standard NetBSD/evbarm for Raspberry Pi options 4 5machine evbarm arm 6include "arch/evbarm/conf/std.evbarm" 7 8# Pull in Raspberry Pi config definitions. 9include "arch/evbarm/conf/files.rpi" 10 11# Architecture opions 12options ARM_GENERIC_TODR 13options ARM_HAS_VBAR 14options ARM_INTR_IMPL="<arch/arm/fdt/fdt_intr.h>" 15options DRAM_BLOCKS=256 16options EVBARM_BOARDTYPE="rpi" 17options FDT # Flattened Device Tree support 18options FPU_VFP 19options MODULAR 20options MODULAR_DEFAULT_AUTOLOAD 21options __HAVE_CPU_COUNTER 22options __HAVE_CPU_UAREA_ALLOC_IDLELWP 23options __HAVE_FAST_SOFTINTS # should be in types.h 24options __HAVE_GENERIC_START 25options __HAVE_MM_MD_DIRECT_MAPPED_PHYS 26 27makeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi" 28makeoptions LOADADDRESS="0x80008000" 29