Extra core files for Arduino