Merge branch 'efabless:main' into main
diff --git a/caravel b/caravel index 6c9510b..13f2590 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 6c9510b578d9ffb1420d7d2c3a1bc988948f5283 +Subproject commit 13f2590e4b3a74b910dac56a6b757f5a66fd5212