Below was our initial question of how to build device tree.
Now, we switched everything to 2017_r1 release, HDL, no-OS, linux. Using scripts of build kernal, image, as well as BOOT.BIN.
But, finally it failed to bood from sd card (SW setting on zcu102 [1:4] is on off off off ).
As soon as switching on zcu102, on uart, FSBL was present but then it hang. On zcu102 board, INIT_LED was red for a few seconds then turned to green.
Xilinx Zynq MP First Stage Boot Loader
Release 2017.2 May 10 2018 - 14:46:54
We are wondering if it has been seen before.