booting Zynq 7000 ...

[David Young <dyoung%pobox.com@localhost>]

I'm taking a shot at booting NetBSD live image on a Zynq 7000-based
board, the Red Pitaya SDRlab 122-16.

The Zynq 7000 BootROM does not seem to understand GPT partitioning, so
I slightly modified the live-image build to use MBR partitioning.  The
first partition has type "msdos" and content efi/boot/bootarm.efi (from
NetBSD), boot.bin (a Zynq first-stage bootloader, or "FSBL", with U-Boot
from the SD card that came with the SDRlab 122-16) and device~1.dtb
(binary device tree, also from the SD card).

The BootROM is able to find the FSBL and give me a u-boot prompt.  When
I try to "bootefi" I get a "data abort."  Maybe my wild guess about
which addresses to use is the problem: I took a guess based on the
u-boot script that shipped with the board.  A typescript of my boot
attempt follows---any ideas?

U-Boot 2016.07 (Apr 28 2022 - 08:48:05 +0000), Build:
jenkins-redpitaya-master-122-16-15

Model: Red Pitaya Board
Board: Xilinx Zynq
I2C:   ready
DRAM:  ECC disabled 480 MiB
I2C:EEPROM selection failed
MMC:   sdhci@e0100000: 0
In:    serial@e0000000
Out:   serial@e0000000
Err:   serial@e0000000
Model: Red Pitaya Board
Board: Xilinx Zynq
Net:   ZYNQ GEM: e000b000, phyaddr 1, interface rgmii-id
eth0: ethernet@e000b000
Hit any key to stop autoboot:  0 
Running script from SD...
Device: sdhci@e0100000
Manufacturer ID: 3
OEM: 5344
Name: SC32G 
Tran Speed: 50000000
Rd Block Len: 512
SD version 3.0
High Capacity: Yes
Capacity: 29.7 GiB
Bus Width: 4-bit
Erase Group Size: 512 Bytes
reading u-boot.scr
** Unable to read file u-boot.scr **
Zynq> mmcinfo 
Device: sdhci@e0100000
Manufacturer ID: 3
OEM: 5344
Name: SC32G 
Tran Speed: 50000000
Rd Block Len: 512
SD version 3.0
High Capacity: Yes
Capacity: 29.7 GiB
Bus Width: 4-bit
Erase Group Size: 512 Bytes
Zynq> fatload mmc 0 0x04000000 device~1.dtb
reading device~1.dtb
18061 bytes read in 20 ms (881.8 KiB/s)
Zynq> fatload mmc 0 0x02004000 efi/boot/bootarm.efi
reading efi/boot/bootarm.efi
171568 bytes read in 31 ms (5.3 MiB/s)
Zynq> bootefi 0x02004000 0x04000000
## Starting EFI application at 0x02004000 ...
Scanning disks on usb...
Scanning disks on mmc...
MMC Device 1 not found
MMC Device 2 not found
MMC Device 3 not found
Found 5 disks
data abort
pc : [<1df79630>]	   lr : [<0000004d>]
reloc pc : [<04032630>]	   lr : [<e60b904d>]
sp : 1cb46750  ip : 00000010	 fp : 1bb44b40
r10: 00000004  r9 : 1cb46ae8	 r8 : 1bb43958
r7 : 1cb46784  r6 : 00000002	 r5 : 1cb553c0  r4 : 1df9aa3c
r3 : 2000b182  r2 : 1cb553f0	 r1 : 1bb43958  r0 : 00000000
Flags: nZCv  IRQs off  FIQs off  Mode SVC_32
Resetting CPU ...

resetting ...

David

-- 
David Young
dyoung%pobox.com@localhost    Urbana, IL    (217) 721-9981