Raspberry Pi 3 Network Boot

[Greg V]

On 01/19/2018 12:24, Klaus P. Ohrhallinger wrote:
> 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
Thanks a lot! Patching the PSCI monitor with the 0x200 thing and loading 
FDT at 0x4000 works!

It works without the timer ticks stuff in U-boot, but downloading the 
kernel is extremely slow. Are these patches for performance?