configs: P4080DS: Enable PCIe driver
[oweals/u-boot.git] / board / atmel / sama5d2_icp / Kconfig
1 if TARGET_SAMA5D2_ICP
2
3 config SYS_BOARD
4         default "sama5d2_icp"
5
6 config SYS_VENDOR
7         default "atmel"
8
9 config SYS_SOC
10         default "at91"
11
12 config SYS_CONFIG_NAME
13         default "sama5d2_icp"
14
15 endif