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