This directory contains header files specific to the board architecture. In particular,
it must contain a file named board.h.