From de6cfd504b433fcfc4d984938bf52e0d9f0a9ab6 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 4 May 2016 09:27:16 +0200
Subject: [PATCH] call in sched_yield directly the scheduler

=> reduce some overhead
---
 hermit/usr/pte | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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