Oh, and don't forget the ones for raspberry Pi.
Something tells me your device might be running on some kind of ARM board.