From 81639a4097d39cb99b0849a820eec70130abd9c8 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 14 Mar 2016 12:23:32 +0100
Subject: [PATCH] fine tuning of sys_yield

- checks only if a process is ready to run
- no additional timer checks
---
 hermit/kernel/syscall.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/hermit/kernel/syscall.c b/hermit/kernel/syscall.c
index 3cf29171c..ff9f3c718 100644
--- a/hermit/kernel/syscall.c
+++ b/hermit/kernel/syscall.c
@@ -580,7 +580,10 @@ int sys_stat(const char* file, /*struct stat *st*/ void* st)
 
 void sys_yield(void)
 {
-	check_workqueues();
+	//check_workqueues();
+	if (go_down)
+		shutdown_system();
+	check_scheduling();
 }
 
 #if 0