argh, documentation

README.md

@@ -0,0 +1,51 @@
+# FSBL
+
+FSBL code is at https://github.com/Xilinx/embeddedsw/
+
+there:
+```sh
+cd lib/sw_apps/zynq_fsbl/src/ && make BOARD=zed
+```
+
+# 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
+
+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).