The Xen source tree contains an example of a minimal unikernel. Probably worth looking at the source to it even if you end up using something with more features.