cleaned xv6 src