nuttx/configs/sama5d3x-ek/include
..
board_384mhz.h
board_396mhz.h
board_528mhz.h
board_memorymap.h
board_sdram.h
board.h