diff --git a/third_party/picorv32 b/third_party/picorv32 index f00a88c3..c0acaebf 160000 --- a/third_party/picorv32 +++ b/third_party/picorv32 @@ -1 +1 @@ -Subproject commit f00a88c36eaab478b64ee27d8162e421049bcc66 +Subproject commit c0acaebf0d50afc6e4d15ea9973b60f5f4d03c42