12 bool "Support sbc8548"
15 config TARGET_SOCRATES
16 bool "Support socrates"
19 config TARGET_B4860QDS
20 bool "Support B4860QDS"
24 config TARGET_BSC9131RDB
25 bool "Support BSC9131RDB"
29 config TARGET_BSC9132QDS
30 bool "Support BSC9132QDS"
34 config TARGET_C29XPCIE
35 bool "Support C29XPCIE"
42 bool "Support P3041DS"
46 bool "Support P4080DS"
50 bool "Support P5020DS"
54 bool "Support P5040DS"
57 config TARGET_MPC8536DS
58 bool "Support MPC8536DS"
61 config TARGET_MPC8540ADS
62 bool "Support MPC8540ADS"
65 config TARGET_MPC8541CDS
66 bool "Support MPC8541CDS"
69 config TARGET_MPC8544DS
70 bool "Support MPC8544DS"
73 config TARGET_MPC8548CDS
74 bool "Support MPC8548CDS"
77 config TARGET_MPC8555CDS
78 bool "Support MPC8555CDS"
81 config TARGET_MPC8560ADS
82 bool "Support MPC8560ADS"
85 config TARGET_MPC8568MDS
86 bool "Support MPC8568MDS"
89 config TARGET_MPC8569MDS
90 bool "Support MPC8569MDS"
93 config TARGET_MPC8572DS
94 bool "Support MPC8572DS"
97 config TARGET_P1010RDB_PA
98 bool "Support P1010RDB_PA"
103 config TARGET_P1010RDB_PB
104 bool "Support P1010RDB_PB"
109 config TARGET_P1022DS
110 bool "Support P1022DS"
115 config TARGET_P1023RDB
116 bool "Support P1023RDB"
119 config TARGET_P1020MBG
120 bool "Support P1020MBG-PC"
123 config TARGET_P1020RDB_PC
124 bool "Support P1020RDB-PC"
129 config TARGET_P1_P2_RDB_PC
130 bool "Support p1_p2_rdb_pc"
135 bool "Support p1_twr"
137 config TARGET_P2041RDB
138 bool "Support P2041RDB"
141 config TARGET_QEMU_PPCE500
142 bool "Support qemu-ppce500"
145 config TARGET_T102XQDS
146 bool "Support T102xQDS"
150 config TARGET_T102XRDB
151 bool "Support T102xRDB"
155 config TARGET_T1040QDS
156 bool "Support T1040QDS"
159 config TARGET_T104XRDB
160 bool "Support T104xRDB"
164 config TARGET_T208XQDS
165 bool "Support T208xQDS"
169 config TARGET_T208XRDB
170 bool "Support T208xRDB"
174 config TARGET_T4240QDS
175 bool "Support T4240QDS"
179 config TARGET_T4240RDB
180 bool "Support T4240RDB"
184 config TARGET_CONTROLCENTERD
185 bool "Support controlcenterd"
188 config TARGET_KMP204X
189 bool "Support kmp204x"
192 config TARGET_XPEDITE520X
193 bool "Support xpedite520x"
196 config TARGET_XPEDITE537X
197 bool "Support xpedite537x"
200 config TARGET_XPEDITE550X
201 bool "Support xpedite550x"
203 config TARGET_UCP1020
204 bool "Support uCP1020"
207 bool "Support Varisys Cyrus"
263 source "board/freescale/b4860qds/Kconfig"
264 source "board/freescale/bsc9131rdb/Kconfig"
265 source "board/freescale/bsc9132qds/Kconfig"
266 source "board/freescale/c29xpcie/Kconfig"
267 source "board/freescale/corenet_ds/Kconfig"
268 source "board/freescale/mpc8536ds/Kconfig"
269 source "board/freescale/mpc8540ads/Kconfig"
270 source "board/freescale/mpc8541cds/Kconfig"
271 source "board/freescale/mpc8544ds/Kconfig"
272 source "board/freescale/mpc8548cds/Kconfig"
273 source "board/freescale/mpc8555cds/Kconfig"
274 source "board/freescale/mpc8560ads/Kconfig"
275 source "board/freescale/mpc8568mds/Kconfig"
276 source "board/freescale/mpc8569mds/Kconfig"
277 source "board/freescale/mpc8572ds/Kconfig"
278 source "board/freescale/p1010rdb/Kconfig"
279 source "board/freescale/p1022ds/Kconfig"
280 source "board/freescale/p1023rdb/Kconfig"
281 source "board/freescale/p1_p2_rdb_pc/Kconfig"
282 source "board/freescale/p1_twr/Kconfig"
283 source "board/freescale/p2041rdb/Kconfig"
284 source "board/freescale/qemu-ppce500/Kconfig"
285 source "board/freescale/t102xqds/Kconfig"
286 source "board/freescale/t102xrdb/Kconfig"
287 source "board/freescale/t1040qds/Kconfig"
288 source "board/freescale/t104xrdb/Kconfig"
289 source "board/freescale/t208xqds/Kconfig"
290 source "board/freescale/t208xrdb/Kconfig"
291 source "board/freescale/t4qds/Kconfig"
292 source "board/freescale/t4rdb/Kconfig"
293 source "board/gdsys/p1022/Kconfig"
294 source "board/keymile/kmp204x/Kconfig"
295 source "board/sbc8548/Kconfig"
296 source "board/socrates/Kconfig"
297 source "board/varisys/cyrus/Kconfig"
298 source "board/xes/xpedite520x/Kconfig"
299 source "board/xes/xpedite537x/Kconfig"
300 source "board/xes/xpedite550x/Kconfig"
301 source "board/Arcturus/ucp1020/Kconfig"