1 1.4 skrll # $NetBSD: files.rpi,v 1.4 2013/09/05 07:08:09 skrll Exp $ 2 1.1 skrll # 3 1.4 skrll # Raspberry Pi 4 1.1 skrll # 5 1.1 skrll 6 1.2 skrll file arch/arm/arm32/arm32_boot.c 7 1.2 skrll file arch/arm/arm32/arm32_kvminit.c 8 1.2 skrll file arch/arm/arm32/arm32_reboot.c 9 1.2 skrll 10 1.1 skrll file arch/evbarm/rpi/rpi_machdep.c 11 1.1 skrll 12 1.1 skrll # Kernel boot arguments 13 1.1 skrll defparam opt_machdep.h BOOT_ARGS 14 1.1 skrll 15 1.1 skrll # CPU support and integrated peripherals 16 1.1 skrll include "arch/arm/broadcom/files.bcm2835" 17 1.1 skrll 18 1.3 jmcneill # Raspberry Pi Mailbox interface 19 1.3 jmcneill device vcmbox: sysmon_envsys 20 1.3 jmcneill attach vcmbox at bcmmboxbus 21 1.3 jmcneill file arch/evbarm/rpi/rpi_vcmbox.c vcmbox 22