Update xv6.txt