Greetings,
I'm working on a development board based on SiLabs C8051F320 that I would like to integrate to the Arduino IDE, just like chipKit(http://chipkit.net/), that are based on PIC32 microcontrollers.
The problem is to find documentation that describes better the configuration files(boards.txt, platform.txt, etc.). The Arduino IDE 1.5 3rd party hardware specification(Arduino IDE 1.5 3rd party Hardware specification · arduino/Arduino Wiki · GitHub) does not provide much more information about datails of these files than some few descriptions about compile and build directives.
Can someone help me with more information?
Thank you!