2014-08-24 11:59:22 +04:00
|
|
|
# $NetBSD: std.rpi,v 1.15 2014/08/24 07:59:22 jnemeth Exp $
|
2012-07-26 10:21:57 +04:00
|
|
|
#
|
|
|
|
# standard NetBSD/evbarm for Raspberry Pi options
|
|
|
|
|
|
|
|
machine evbarm arm
|
2012-12-17 03:47:56 +04:00
|
|
|
include "arch/evbarm/conf/std.evbarm"
|
2012-07-26 10:21:57 +04:00
|
|
|
|
|
|
|
# Pull in Raspberry Pi config definitions.
|
2012-12-17 03:47:56 +04:00
|
|
|
include "arch/evbarm/conf/files.rpi"
|
2012-07-26 10:21:57 +04:00
|
|
|
|
2013-09-17 11:13:13 +04:00
|
|
|
options MODULAR
|
2014-08-24 11:59:22 +04:00
|
|
|
options MODULAR_DEFAULT_AUTOLOAD
|
2014-02-25 23:37:30 +04:00
|
|
|
options ARM11_COMPAT_MMU
|
2012-12-19 19:51:51 +04:00
|
|
|
options __HAVE_CPU_COUNTER
|
2012-07-26 10:21:57 +04:00
|
|
|
options __HAVE_FAST_SOFTINTS # should be in types.h
|
2012-09-01 21:11:56 +04:00
|
|
|
options __HAVE_CPU_UAREA_ALLOC_IDLELWP
|
2014-04-06 16:43:18 +04:00
|
|
|
options __HAVE_MM_MD_DIRECT_MAPPED_PHYS
|
2012-09-01 21:11:56 +04:00
|
|
|
options TPIDRPRW_IS_CURCPU
|
2013-06-22 19:50:17 +04:00
|
|
|
options ARM_HAS_VBAR
|
2013-02-19 14:57:09 +04:00
|
|
|
options KERNEL_BASE_EXT=0xc0000000
|
|
|
|
|
2013-02-19 14:58:35 +04:00
|
|
|
options EVBARM_BOARDTYPE="rpi"
|
2012-07-26 10:21:57 +04:00
|
|
|
makeoptions BOARDMKFRAG="${THISARM}/conf/mk.rpi"
|
2013-08-06 04:28:52 +04:00
|
|
|
makeoptions LOADADDRESS="0xc0008000"
|
2012-07-26 10:21:57 +04:00
|
|
|
|
|
|
|
options ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
|
|
|
|
options ARM_GENERIC_TODR
|