#	$NetBSD: files.rpi,v 1.8 2016/05/20 16:40:40 christos Exp $
#
# Raspberry Pi
#

file   arch/arm/arm32/arm32_boot.c
file   arch/arm/arm32/arm32_kvminit.c
file   arch/arm/arm32/arm32_reboot.c

file	arch/evbarm/rpi/rpi_machdep.c
file	arch/evbarm/rpi/vcprop_subr.c
makeoptions	"COPTS.vcprop_subr.c"+="-fno-stack-protector"

# Kernel boot arguments
defparam opt_machdep.h				BOOT_ARGS

# CPU support and integrated peripherals
include "arch/arm/broadcom/files.bcm2835"

# Raspberry Pi Mailbox interface
device	vcmbox: sysmon_envsys
attach	vcmbox at bcmmboxbus
file	arch/evbarm/rpi/rpi_vcmbox.c		vcmbox

# Maximum command-line length
defparam opt_vcprop.h				VCPROP_MAXCMDLINE
defflag opt_rpi.h				RPI_HWCURSOR