The MirageOS Developer Preview 1 screencast, showing how to initialise and build Unix and Xen kernels.