Possibility to add ARM/RPi builds to Buildbot

I would consider the Raspberry Pi devices to be fairly main stream now but there doesnt seem to be any builds available for these devices, not even stable version!. Is there any chance to add ARM devices (RPi) to buildbot, even a weekly build would be great!!!?

Do these not work with RPi (at least, gen2+)? http://buildbot.libretro.com/nightly/linux/armhf/latest/

Thats just cores though right?, no actual RetroArch program?

Correct. There’s no easy solution for making portable linux builds of programs with complex and multitudinous dependencies.