config TARGET_P3041DS
bool "Support P3041DS"
select PHYS_64BIT
+ select ARCH_P3041
config TARGET_P4080DS
bool "Support P4080DS"
config TARGET_P2041RDB
bool "Support P2041RDB"
+ select ARCH_P2041
select PHYS_64BIT
config TARGET_QEMU_PPCE500
config TARGET_KMP204X
bool "Support kmp204x"
+ select ARCH_P2041
select PHYS_64BIT
config TARGET_XPEDITE520X
config ARCH_P2020
bool
+config ARCH_P2041
+ bool
+
+config ARCH_P3041
+ bool
+
source "board/freescale/b4860qds/Kconfig"
source "board/freescale/bsc9131rdb/Kconfig"
source "board/freescale/bsc9132qds/Kconfig"