Is there anyone on this list using the marvell ev64260? There is no separate ev64260 list, but I also do not see an active list for the Walnut board, so perhaps evbppc has not shown up on the radar yet. Doug