Anyone want to run a raspberry pi build server? I'd gladly help with the setup if someone buys one and gets it online. You can host yours here for free with a static IPv4 address: https://www.edis.at/en/server/colocation/austria/raspberrypi/
Then we can have automatic nightly builds of whatever for RPi.
.hc