For those interested in unikernels. We just launched a community website — http://unikernel.org