diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c index 1935a4a3d..d7d5789cb 100644 --- a/hermit/tools/proxy.c +++ b/hermit/tools/proxy.c @@ -187,6 +187,10 @@ static int init_qemu(char *path) exit(1); } + // move the parent process to the end of the queue + // => child would be scheduled next + sched_yield(); + return 0; }