FSBL

FSBL code is at https://github.com/Xilinx/embeddedsw/

there:

cd lib/sw_apps/zynq_fsbl/src/ && make BOARD=zed CFLAGS=-DFSBL_DEBUG_INFO

Building

Requirements [TBC]:

• cmake
• arm-none-eabi-gcc

cmake -DFSFW_OSAL=freertos -DFSFW_ADD_HAL=OFF -DCMAKE_TOOLCHAIN_FILE=../bsp_z7/cmake/arm-none-eabi.toolchain ..

Debugging on zedboard

Requirements [TBC]:

• OpenOCD
• arm-none-eabi-gdb

Connect to zedboard jtag and uart usb port.

On PC connected to zedboard jtag usb port:

openocd -f board/digilent_zedboard.cfg

To use JTAG Boot for the obsw, you first need to run the FSBL once.

On build PC (adapt IP if different from debugging PC):

arm-none-eabi-gdb fsbl.elf
>target extended-remote localhost:3333
>load
>cont
>^C^D^D

Then load the actual obsw:

arm-none-eabi-gdb fsbl.elf
>target extended-remote localhost:3333
>load
>cont

Uart usb port should output something at 115200baud, (I use moserial to monitor).