BuildConfig needs to know platform headers #41
Description
The Arduino Platform needs to know the headers needed for registeres and other stuff. First step would be a function the returns the headers. This might be relevant for other than AVR Arduinos like the Due or the intel based one.