fpga_config: main.rs
	openocd -f openocd/openocd.cfg -f openocd/main.cfg

main.rs: top.bin
	cargo build --release