Im Prinzip sollte GCC (für AVR binaries) auch auf dem RaspPi laufen können. Damit wäre ein Programmierung in ASM, C, C++ und ggf. ADA möglich. Falls man kein fertigen Binaries bekommt halt selbst compilieren.