puoi tranquillamente compilare gcc per arm. il problema semami è avr-dude e il suo interfacciamento con la USB.
per l'ide non credo che funzioni se la virtual machine non è una normale SE/EE ma una MobileDevicies(MD) (usano librerie grafiche molto differenti)