FYI the freedom box project had a list of hardware you can buy for this type of thing. It sounds like raspberrypi 's raspbian project isn't really considered a Debian in their eyes, and instead the ones on list run a purer Debian than the pi.

https://wiki.debian.org/FreedomBox/TargetedHardware