add lab and xv6