11 config TARGET_SBC8641D
12 bool "Support sbc8641d"
14 config TARGET_MPC8610HPCD
15 bool "Support MPC8610HPCD"
18 config TARGET_MPC8641HPCN
19 bool "Support MPC8641HPCN"
21 config TARGET_XPEDITE517X
22 bool "Support xpedite517x"
29 source "board/freescale/mpc8610hpcd/Kconfig"
30 source "board/freescale/mpc8641hpcn/Kconfig"
31 source "board/sbc8641d/Kconfig"
32 source "board/xes/xpedite517x/Kconfig"