- boot.bin -> packed using bootgen, contains
- FSBL
- u-boot
- uImage
- uRamDisk.image.gz
- devicetree.dtb
devicetree.dts made by libgen -> what creates it? u-boot.elf -> compiled from u-boot, stock FSBL -> loads the rest - what configures this? not the devicetree
bootgen controled by b.bif in the RP root. bootgen -image b.bif -o i build/boot.bin
Config: OS/linux/config/rp_defconfig PROBABLY Has the remoteproc and xlnx-remoteproc modules as drivers, but 'modprobe remoteproc' complains of no dir /lib/modules/
Do the steps in red-pitaya-notes. That works.