occheung 429fbb7443 | ||
---|---|---|
.cargo | ||
examples | ||
gdb_config | ||
migen | ||
nix | ||
nmigen | ||
src | ||
.gitignore | ||
Cargo.toml | ||
README.md | ||
memory.x | ||
shell.nix |
README.md
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.