http://www.freebsd.org/platforms/arm.html There is a missing 'r' in "Marvell" in the supported boards list. This is defeating correct indexing as well. Hope it helps.