/resources/coreboot/t400_4mb/
../
board.cfg
config