A few people seem to have ported xv6 to arm.
https://github.com/david50407/xv6-rpi
https://github.com/houcheng/xv6-armv7/