1# $NetBSD: std.rpi,v 1.14 2014/04/06 12:43:18 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 11options MODULAR 12options ARM11_COMPAT_MMU 13options __HAVE_CPU_COUNTER 14options __HAVE_FAST_SOFTINTS # should be in types.h 15options __HAVE_CPU_UAREA_ALLOC_IDLELWP 16options __HAVE_MM_MD_DIRECT_MAPPED_PHYS 17options TPIDRPRW_IS_CURCPU 18options ARM_HAS_VBAR 19options KERNEL_BASE_EXT=0xc0000000 20 21options EVBARM_BOARDTYPE="rpi" 22makeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi" 23makeoptions LOADADDRESS="0xc0008000" 24 25options ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>" 26options ARM_GENERIC_TODR 27