See http://www.theregister.co.uk/2016/03/31/microsoft_visual_studio_c_plus_plus_for_linux/. So we could generate Raspberry Pi ARM binaries, for example, on a Windows box.