Firmware development

RF signal generator using Urukul, Humpback and STM32

Nix commands

Open nix shell before anything.

nix-shell

Start OpenOCD server in unblocking mode.

run-openocd

Start OpenOCD server in blocking mode, for console print through semihosting.

run-openocd-block

Reset STM32 flash before flashing bitstream for Humpback FPGA.

reset-flash

Load bitstream to Humpback FPGA.

configure-fpga

Verify a proper bitstream is loaded to STM32 flash.

verify-fpga-config

Run a Ethernet server with TCP socket examples.

run-ethernet-server

Select a different gdb config file from gdb_config directory.

set-gdb-config-file <filename>

Leave as blank for default openocd.gdb configuration.