| choice | |
| prompt "Mainboard model" | |
| depends on VENDOR_AMD | |
| source "src/mainboard/amd/db800/Kconfig" | |
| source "src/mainboard/amd/dbm690t/Kconfig" | |
| source "src/mainboard/amd/norwich/Kconfig" | |
| source "src/mainboard/amd/pistachio/Kconfig" | |
| source "src/mainboard/amd/rumba/Kconfig" | |
| source "src/mainboard/amd/serengeti_cheetah/Kconfig" | |
| source "src/mainboard/amd/serengeti_cheetah_fam10/Kconfig" | |
| endchoice | |