diff --git a/.github/workflows/build-spike.yml b/.github/workflows/build-spike.yml index c4410c9bed8..9e6c61f7e7a 100644 --- a/.github/workflows/build-spike.yml +++ b/.github/workflows/build-spike.yml @@ -50,6 +50,7 @@ jobs: export CXX="ccache g++" pushd spike git checkout ${{ env.TOOL_VERSION }} + sed -i 's/(MAX_PADDR_BITS - PMP_SHIFT)/30/g' riscv/csrs.cc mkdir build cd build ../configure --prefix=/opt/spike