Merge branch 'main' of https://github.com/jaquerinte/riscv_radiation_hard into main
diff --git a/caravel b/caravel index 576242b..13f2590 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 576242b3e7ffdf58c9d3154ad7cbb39cb73b7aeb +Subproject commit 13f2590e4b3a74b910dac56a6b757f5a66fd5212