The "Banana Pi" is a new(ish) ARM-based board, aimed at being "mostly-compatible" with the Raspberry Pi - which they have accomplished to a degree. The Banana Pi has a newer, ARMv7-based core, though, so has the potential to be a lot faster. I'm always looking for new hardware to test NetBSD on, so I thought I'd give it a shot. At about $65, it's more expensive than the Raspberry Pi, but since it has more on board (SATA, Gigabit Ethernet, dual-core CPU, 1GB RAM), it's a pretty good deal. The one I ordered came yesterday, so I fiddled around with it bit trying to see how fast I could get a kernel booting. I downloaded the "Bananian" Linux image, booted to make sure it worked, and investigated how the boot process worked.