heads/boards/kgpe-d16_server
2022-01-28 14:17:22 -05:00
..
kgpe-d16_server.config boards/* : Add/uniformize missing CONFIG_BOARD_NAME for coreboot boards 2022-01-28 14:17:22 -05:00