1 # $NetBSD: files.rpi,v 1.2 2012/09/01 17:15:43 skrll 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 12 # Kernel boot arguments 13 defparam opt_machdep.h BOOT_ARGS 14 15 # CPU support and integrated peripherals 16 include "arch/arm/broadcom/files.bcm2835" 17 18