From bd46e17d249085eb456e94adc513f0353dc3959b Mon Sep 17 00:00:00 2001
From: Filip Kokosinski <fkokosinski@antmicro.com>
Date: Fri, 21 Jun 2024 11:41:29 +0200
Subject: [PATCH] workflows: respect VeeR's pmpaddr mask in spike

Signed-off-by: Filip Kokosinski <fkokosinski@antmicro.com>
---
 .github/workflows/build-spike.yml | 1 +
 1 file changed, 1 insertion(+)

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