11 config TARGET_SBC8641D
12 bool "Support sbc8641d"
15 config TARGET_MPC8610HPCD
16 bool "Support MPC8610HPCD"
19 config TARGET_MPC8641HPCN
20 bool "Support MPC8641HPCN"
23 config TARGET_XPEDITE517X
24 bool "Support xpedite517x"
35 source "board/freescale/mpc8610hpcd/Kconfig"
36 source "board/freescale/mpc8641hpcn/Kconfig"
37 source "board/sbc8641d/Kconfig"
38 source "board/xes/xpedite517x/Kconfig"