Third-party hardware configuration files

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!

Just jump right into it and if you encounter something you can't figure out come back with some specific questions. I find it very helpful to use the various other 3rd party hardware projects as a reference as well as Arduino's hardware files.