dm: x86: pci: Convert coreboot to use driver model for pci
[platform/kernel/u-boot.git] / configs / T4240RDB_defconfig
1 CONFIG_SYS_EXTRA_OPTIONS="PPC_T4240"
2 CONFIG_PPC=y
3 CONFIG_MPC85xx=y
4 CONFIG_TARGET_T4240RDB=y