In most other implementations of the Processing/Wiring/Arduino IDE, the folder hardware/... contains cores and libraries:
May I suggest to place:
Thank you and best regards,
- Arduino 1.5: hardware/arduino/avr contains cores and libraries; hardware/arduino/avr contains cores and libraries
- Mpide: hardware/PIC32 contains cores and libraries
- Energia: hardware/msp430 contains cores and libraries; hardware/lm4f contains cores and libraries
May I suggest to place:
- Teensyduino for Teensy: cores and libraries inside hardware/teensy folder
- Teensyduino for Teensy 3: cores and libraries inside hardware/teensy3 folder
Thank you and best regards,