Comment Comment by manyworlds Unikernel or rump kernel would be better for that purpose parent manyworlds 7 years ago