Cannot make Pynq boot from SD1 (kernel looks in mmcblk0 for rootfs)

[johnk]

Update:
I found that the Makefile contains this line:

echo 'CONFIG_SUBSYSTEM_SDROOT_DEV="/dev/mmcblk0p2"' >> $$(PL_CONFIG_$1)

That I changed to mmcblk1p2 but, to my surprise, still produced an image looking for the rootfs in mmcblk0p2.

Then I found this:

Custom board: Rootfs on /dev/mmcblk1p2 not found

Hi, I was able to complete a custom build for an UltraZedEV board. The board in question has an eMMC on the SOM that appears as /dev/mmcblk0 device and a SD Card reader appearing as /dev/mmcblk1 (with p0 and p1 partitions on the card) While running the build, the kernel loads and finds the devicetree, but I get a kernel panic error, indicating rootFS cannot be found at /dev/mmcblk0 In order to circumvent the problem I tried to reconfigure the devicetree config (system-user.dtsi) as following…

Indicating that the bootargs are taken from yet another source (not the original petalinux project, not the makefile, but some fixed file!). Pynq needs an important tidy up or it will die in your hands and drag some of you to the dark depths of the software messes.