Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

after the termination of a HermitCore app, restart Linux on the CPUs

Browse source
This commit is contained in:
Stefan Lankes 2016-02-14 15:18:29 +01:00
parent 528fa1705b
commit 5822a1dc29
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
hermit/tools/proxy.c
View file

@ -168,10 +168,12 @@ static void dump_log(void)
static void stop_kermit(void)
{
#if 0
FILE* file;
char isle_path[MAX_PATH];
fflush(stdout);
fflush(stderr);
snprintf(isle_path, MAX_PATH, "/sys/hermit/isle%d/cpus", isle_nr);
file = fopen(isle_path, "w");
@ -183,7 +185,6 @@ static void stop_kermit(void)
fprintf(file, "-1");
fclose(file);
#endif
}
/*