mwojcik/humpback-dds
1
0
Fork 0
forked from M-Labs/humpback-dds
Code Issues Pull Requests Projects Releases Wiki Activity

nix: rewire configure-fpga command

Browse Source
This commit is contained in:
occheung 2020-09-17 13:19:23 +08:00
parent c084da1848
commit 537a375f2c
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
openocd/ethernet.cfg
View File

@ -2,4 +2,5 @@ init
reset init reset init
halt halt
flash write_image erase target/thumbv7em-none-eabihf/debug/examples/ethernet flash write_image erase target/thumbv7em-none-eabihf/debug/examples/ethernet
reset run
shutdown shutdown

1
openocd/fpga-config.cfg
View File

@ -2,4 +2,5 @@ init
reset init reset init
halt halt
flash write_image erase target/thumbv7em-none-eabihf/debug/examples/fpga_config flash write_image erase target/thumbv7em-none-eabihf/debug/examples/fpga_config
reset run
shutdown shutdown

9
shell.nix
View File

@ -40,14 +40,13 @@ let
''; '';
flashFPGAConfig = writeShellScriptBin "flash-fpga-config" '' flashFPGAConfig = writeShellScriptBin "flash-fpga-config" ''
set-gdb-config-file "fpga_config" && cargo run --example fpga_config openocd-flash fpga-config
''; '';
configureFPGA = writeShellScriptBin "configure-fpga" '' configureFPGA = writeShellScriptBin "configure-fpga" ''
nc -zv localhost 3333 \ compile-migen-script \
&& compile-migen-script \ && cargo build --example fpga_config \
&& flash-fpga-config \ && flash-fpga-config
|| echo "Please run OpenOcd first."
''; '';
verifyFPGAConfig = writeShellScriptBin "verify-fpga-config" '' verifyFPGAConfig = writeShellScriptBin "verify-fpga-config" ''