1# $NetBSD: files.rpi,v 1.7 2014/10/03 11:40:54 skrll Exp $ 2# 3# Raspberry Pi 4# 5 6file arch/arm/arm32/arm32_boot.c 7file arch/arm/arm32/arm32_kvminit.c 8file arch/arm/arm32/arm32_reboot.c 9 10file arch/evbarm/rpi/rpi_machdep.c 11file arch/evbarm/rpi/vcprop_subr.c 12 13# Kernel boot arguments 14defparam opt_machdep.h BOOT_ARGS 15 16# CPU support and integrated peripherals 17include "arch/arm/broadcom/files.bcm2835" 18 19# Raspberry Pi Mailbox interface 20device vcmbox: sysmon_envsys 21attach vcmbox at bcmmboxbus 22file arch/evbarm/rpi/rpi_vcmbox.c vcmbox 23 24# Maximum command-line length 25defparam opt_vcprop.h VCPROP_MAXCMDLINE 26defflag opt_rpi.h RPI_HWCURSOR 27