10 config TARGET_SBC8641D
11 bool "Support sbc8641d"
13 config TARGET_MPC8610HPCD
14 bool "Support MPC8610HPCD"
16 config TARGET_MPC8641HPCN
17 bool "Support MPC8641HPCN"
19 config TARGET_XPEDITE517X
20 bool "Support xpedite517x"
24 source "board/freescale/mpc8610hpcd/Kconfig"
25 source "board/freescale/mpc8641hpcn/Kconfig"
26 source "board/sbc8641d/Kconfig"
27 source "board/xes/xpedite517x/Kconfig"