diff options
Diffstat (limited to 'picosoc/Makefile')
-rw-r--r-- | picosoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/picosoc/Makefile b/picosoc/Makefile index 1a6ac94..decf97a 100644 --- a/picosoc/Makefile +++ b/picosoc/Makefile @@ -53,7 +53,7 @@ firmware.elf: sections.lds start.s firmware.c riscv32-unknown-elf-gcc -Wl,-Bstatic,-T,sections.lds,--strip-debug -ffreestanding -nostdlib -o firmware.elf start.s firmware.c firmware.hex: firmware.elf - riscv32-unknown-elf-objcopy -O verilog firmware.elf /dev/stdout | sed -e '2,65537 d;' > firmware.hex + riscv32-unknown-elf-objcopy -O verilog firmware.elf /dev/stdout | sed -e '1 s/@00000000/@00100000/; 2,65537 d;' > firmware.hex firmware.bin: firmware.elf riscv32-unknown-elf-objcopy -O binary firmware.elf /dev/stdout | tail -c +1048577 > firmware.bin |