I recently created a small set of tools for building Micro-Manager device adapters for the Raspberry Pi. Briefly, they allow you to compile device adapters for the Pi's ARM processor architecture on a x86_64 laptop or workstation. Compiling in the cloud with Travis CI should also be possible with a few tweaks to the configuration files. Also included are Docker images for running basic Micro-Manager Python scripts.
Currently I only have one device adapter finished for the GPIO pins, but I am now starting work on an adapter for the Pi camera.
I had a lot of fun and learned a lot while developing this; I hope some of you can find it useful.