Ah, I see. It looks like this is actually relatively simple but hidden away in code you'd never see until you start using Unikraft.

This is something that strikes me as an obvious question about a unikernel so I'd like to see a bigger callout in the docs.