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