# FSBL

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

there:
```sh
cd lib/sw_apps/zynq_fsbl/src/ && make BOARD=zed CFLAGS=-DFSBL_DEBUG_INFO
```

# Building

Requirements [TBC]:
- cmake
- arm-none-eabi-gcc

```sh
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:
```sh
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):
```sh
arm-none-eabi-gdb fsbl.elf
>target extended-remote localhost:3333
>load
>cont
>^C^D^D
```

Then load the actual obsw:
```sh
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).