The Advent of the Raspberry Pi has seen an explosion in the market for ARM dev boards, sometimes even with pinouts for Arduino shields ... also includes 78 (!) GPIO pins, Gigabit Ethernet ...