yet another small ARM-based platform