mb/google/nissa/var/rull: add ssd timing and modify ssd GPIO pins of rtd3

[coreboot2.git] / src / mainboard / hp / Kconfig

## SPDX-License-Identifier: GPL-2.0-only

if VENDOR_HP

choice
        prompt "Mainboard model"

source "src/mainboard/hp/*/Kconfig.name"

endchoice

source "src/mainboard/hp/*/Kconfig"

config MAINBOARD_VENDOR
        default "HP"

endif # VENDOR_HP