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