How to support a new Board with ARM uC

Hello,

I'm looking for some documentation what needs to be ported in order to support a new uC that is currently not supported by the Arduino IDE. Of course there are some github wiki links such as:

https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification

and

https://github.com/arduino/Arduino/wiki/Arduino-Hardware-Cores-migration-guide-from-1.0-to-1.6

but is there a document describing what core files, e.h. header files needs to be implemented for this new platform to work with the Arduino IDE?

Thank you very much Michael