Raspberry Pi 3 Network Boot

[Klaus P. Ohrhallinger]

Hello,

Booting FreeBSD over network on RPI3 (with U-Boot on SD card) works fine
for me with the following modifications and settings:

FreeBSD 12.0-CURRENT r327673

U-Boot 2018.01-rc3:
http://kweb.7he.at/tmp/rpi/u-boot-02.diff

armstub8.bin / RPi3 PSCI monitor:
http://kweb.7he.at/tmp/rpi/armstub-01.diff

----
env set ipaddr 172.16.88.20
env set serverip 172.16.88.10
env set bootargs boot.nfsroot.server=${serverip}
boot.nfsroot.path=/srv/nfsroot/
tftpboot ${kernel_addr_r} loader.efi
bootefi ${kernel_addr_r} ${fdt_addr_r}
----

# cat config.txt
arm_control=0x200
dtparam=i2c_arm=on
dtoverlay=pi3-disable-bt
device_tree_address=0x4000
kernel=u-boot.bin

bcm2710-rpi-3-b.dtb and the other files are from a standard Raspbian image.

Regards,
Klaus