Here’s an update:
The current file tree I have in
PYNQ/boards/HTG-ZRF8 is as shown:
│ └── htg_zrf8.xsa
│ ├── device-tree.bbappend
│ └── files
│ ├── pl-custom.dtsi
│ └── system-user.dtsi
│ ├── files
│ │ └── 0001-Patch-to-add-1-sec-delay-after-bitstream-download.patch
│ └── fsbl_%.bbappend
│ └── platform-top.h
When I boot, I get a kernel panic about being unable to mount filesystem mmcblk0p2. I checked in U-Boot, and that is the correct device to boot from. When I strip down the bootargs to just
root=/dev/mmcblk0p2 then I am able to boot, but only into a read only filesystem with no ethernet.
In what may be a related issue, when I run an
lsblk from the read only system I booted, the SD card (which is 32 GB) has 2 partitions. The boot partition is 100 M, but the other filesystem partition is only 6.6GB, and the rest of the device is unallocated.
Have you ever seen this when trying to build PYNQ for a custom board? I feel like I’m close but have something set up for the make sequence slightly wrong.