vexriscv 0.0.1

Low level access to the VexRiscv processor
Documentation
#!/bin/bash


# Checks that the blobs are up to date with the committed assembly files


set -euxo pipefail


for lib in $(ls bin/*.a); do
    filename=$(basename $lib)
    riscv64-unknown-elf-objdump -Cd $lib > bin/${filename%.a}.before

done


./assemble.sh


for lib in $(ls bin/*.a); do
    filename=$(basename $lib)
    riscv64-unknown-elf-objdump -Cd $lib > bin/${filename%.a}.after

done


for cksum in $(ls bin/*.after); do
    diff -u $cksum ${cksum%.after}.before

done