11 config TARGET_SBC8641D
12 bool "Support sbc8641d"
14 config TARGET_MPC8610HPCD
15 bool "Support MPC8610HPCD"
17 config TARGET_MPC8641HPCN
18 bool "Support MPC8641HPCN"
20 config TARGET_XPEDITE517X
21 bool "Support xpedite517x"
25 source "board/freescale/mpc8610hpcd/Kconfig"
26 source "board/freescale/mpc8641hpcn/Kconfig"
27 source "board/sbc8641d/Kconfig"
28 source "board/xes/xpedite517x/Kconfig"