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