export a NO_INSTALL choice
fix up targets for new mirari
Merge branch 'master' of github.com:mirage/mirage-www
Merge branch 'master' of github.com:mirage/mirage-www
xen block blog: s/xen/Xen/g
xen block blog: s/exokernel/unikernel/g
xen block blog: apparently my usage of opam shows my age
xen block blog: use `xen-disk` (with backticks)
xen block blog: link to mirage about page, since the mailing list may move soon.