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