(also, this is supposed to be using the same structure that has been used in ChipKit (PIC32) for a while now, and more recently for Teensy3. The Arduino IDE has been moving toward this multi-platform capability rather gradually, and I wouldn't expect any major problems.) (Though some people rightfully complain about the increased size of the download...)