HomeSort by: relevance | last modified time | path
    Searched refs:RPI (Results 1 - 7 of 7) sorted by relevancy

  /src/distrib/utils/embedded/conf/
rpi.conf 1 # $NetBSD: rpi.conf,v 1.40 2022/11/19 09:19:27 yamt Exp $
5 board=rpi
6 kerneldir=$src/sys/arch/evbarm/compile/RPI/
7 kernel=$kerneldir/netbsd-RPI.bin
12 firmwaredir=$src/external/broadcom/rpi-firmware/dist
49 rpi2_kernel="$(echo $kernel | sed -e 's/RPI/RPI2/g')"
86 echo "${bar} installing RPI kernel ${bar}"
  /src/usr.sbin/sysinst/arch/evbarm/
msg.md.en 78 {The RPI kernel was not installed, perhaps you didn't select it?}
msg.md.de 82 {The RPI kernel was not installed, perhaps you didn't select it?}
msg.md.es 81 {The RPI kernel was not installed, perhaps you didn't select it?}
msg.md.fr 81 {The RPI kernel was not installed, perhaps you didn't select it?}
msg.md.pl 80 {The RPI kernel was not installed, perhaps you didn't select it?}
  /src/sys/external/gpl2/dts/dist/arch/arm/boot/dts/
bcm2835-rpi-b-plus.dts 4 #include "bcm2835-rpi.dtsi"
5 #include "bcm283x-rpi-smsc9514.dtsi"
6 #include "bcm283x-rpi-usb-host.dtsi"
34 * RPI-BPLUS sheet 1

Completed in 12 milliseconds