1# $NetBSD: files.rpi,v 1.4 2013/09/05 07:08:09 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 11 12# Kernel boot arguments 13defparam opt_machdep.h BOOT_ARGS 14 15# CPU support and integrated peripherals 16include "arch/arm/broadcom/files.bcm2835" 17 18# Raspberry Pi Mailbox interface 19device vcmbox: sysmon_envsys 20attach vcmbox at bcmmboxbus 21file arch/evbarm/rpi/rpi_vcmbox.c vcmbox 22