genhdr/pins.h is an internal header file that defines all of the pin objects and it's cleaner to have pin.h include it (where the struct's for these objects are defined) rather than an explicit include by every user.
This board shows how to configure external SPI flash as the main storage medium. It uses software SPI.
