These are board definitions for the Arduino framework. Gerber's and other hardware files can be found in the `hardware` directory.