diff --git a/ext/VexRiscv b/ext/VexRiscv
index 1943b257..7812bc66 160000
--- a/ext/VexRiscv
+++ b/ext/VexRiscv
@@ -1 +1 @@
-Subproject commit 1943b257f2b41a417cba7826055111f55b5cd87f
+Subproject commit 7812bc66152c745509fd642b8e3efe940e6e843b