add xv6 post