Comment by texascloud

Only reading the abstract, are you saying a different branch/fork of Linux could be maintained to be a unikernel?