coreboot-kgpe-d16/Documentation/Intel/Board
..
board.html
galileo.html