XV6 portion of p4