new file:   xv6/install.html