diff --git a/hermit/include/hermit/syscall.h b/hermit/include/hermit/syscall.h
index f56b03b76..b9a93675a 100644
--- a/hermit/include/hermit/syscall.h
+++ b/hermit/include/hermit/syscall.h
@@ -87,6 +87,7 @@ size_t sys_get_ticks(void);
 int sys_rcce_init(int session_id);
 size_t sys_rcce_malloc(int session_id, int ue);
 int sys_rcce_fini(int session_id);
+void sys_yield(void);
 
 #define __NR_exit 		0
 #define __NR_write		1
diff --git a/hermit/kernel/syscall.c b/hermit/kernel/syscall.c
index d9fb88604..3cf29171c 100644
--- a/hermit/kernel/syscall.c
+++ b/hermit/kernel/syscall.c
@@ -578,6 +578,11 @@ int sys_stat(const char* file, /*struct stat *st*/ void* st)
 	return -ENOSYS;
 }
 
+void sys_yield(void)
+{
+	check_workqueues();
+}
+
 #if 0
 int fork(void)
 {
diff --git a/hermit/usr/pte b/hermit/usr/pte
index 9dbfa59e3..d95172f98 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit 9dbfa59e382fd99164b2d80d620dab5decced3d0
+Subproject commit d95172f98a56d4a300a438112a1220d6489168be