From a7f6048f6a13b1aec01295dc9968515c624fb3cd Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 4 May 2016 09:26:06 +0200
Subject: [PATCH] call directly sched_yield to reduce overhead

---
 sched_yield.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/sched_yield.c b/sched_yield.c
index f9f4eee..61301f3 100644
--- a/sched_yield.c
+++ b/sched_yield.c
@@ -49,6 +49,10 @@
 #include "implement.h"
 #include "sched.h"
 
+#ifdef __hermit__
+void reschedule (void);
+#endif
+
 int
 sched_yield (void)
 /*
@@ -76,7 +80,11 @@ sched_yield (void)
  * ------------------------------------------------------
  */
 {
+#ifdef __hermit__
+  reschedule ();
+#else
   pte_osYield ();
+#endif
 
   return 0;
 }