diff --git a/hermit/usr/pte b/hermit/usr/pte index 05c72ef98..0a348744a 160000 --- a/hermit/usr/pte +++ b/hermit/usr/pte @@ -1 +1 @@ -Subproject commit 05c72ef98aea0a6ad5a4f9ee1e82137787876eeb +Subproject commit 0a348744a26e7c29540672b97ec122f9c1e9305d