diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c index cc0e0247f..666b57734 100644 --- a/hermit/tools/proxy.c +++ b/hermit/tools/proxy.c @@ -428,7 +428,7 @@ static int init_multi(char *path) free(result); // wait until HermitCore is sucessfully booted - wait_hermit_available(); + //wait_hermit_available(); return 0; }