12 bool "Support sbc8548"
15 config TARGET_SOCRATES
16 bool "Support socrates"
19 config TARGET_B4420QDS
20 bool "Support B4420QDS"
25 config TARGET_B4860QDS
26 bool "Support B4860QDS"
31 config TARGET_BSC9131RDB
32 bool "Support BSC9131RDB"
36 config TARGET_BSC9132QDS
37 bool "Support BSC9132QDS"
41 config TARGET_C29XPCIE
42 bool "Support C29XPCIE"
49 bool "Support P3041DS"
54 bool "Support P4080DS"
59 bool "Support P5020DS"
64 bool "Support P5040DS"
68 config TARGET_MPC8536DS
69 bool "Support MPC8536DS"
72 config TARGET_MPC8540ADS
73 bool "Support MPC8540ADS"
76 config TARGET_MPC8541CDS
77 bool "Support MPC8541CDS"
80 config TARGET_MPC8544DS
81 bool "Support MPC8544DS"
84 config TARGET_MPC8548CDS
85 bool "Support MPC8548CDS"
88 config TARGET_MPC8555CDS
89 bool "Support MPC8555CDS"
92 config TARGET_MPC8560ADS
93 bool "Support MPC8560ADS"
96 config TARGET_MPC8568MDS
97 bool "Support MPC8568MDS"
100 config TARGET_MPC8569MDS
101 bool "Support MPC8569MDS"
104 config TARGET_MPC8572DS
105 bool "Support MPC8572DS"
108 config TARGET_P1010RDB_PA
109 bool "Support P1010RDB_PA"
114 config TARGET_P1010RDB_PB
115 bool "Support P1010RDB_PB"
120 config TARGET_P1022DS
121 bool "Support P1022DS"
126 config TARGET_P1023RDB
127 bool "Support P1023RDB"
130 config TARGET_P1020MBG
131 bool "Support P1020MBG-PC"
136 config TARGET_P1020RDB_PC
137 bool "Support P1020RDB-PC"
142 config TARGET_P1020RDB_PD
143 bool "Support P1020RDB-PD"
148 config TARGET_P1020UTM
149 bool "Support P1020UTM"
154 config TARGET_P1021RDB
155 bool "Support P1021RDB"
160 config TARGET_P1024RDB
161 bool "Support P1024RDB"
166 config TARGET_P1025RDB
167 bool "Support P1025RDB"
172 config TARGET_P2020RDB
173 bool "Support P2020RDB-PC"
179 bool "Support p1_twr"
182 config TARGET_P2041RDB
183 bool "Support P2041RDB"
187 config TARGET_QEMU_PPCE500
188 bool "Support qemu-ppce500"
189 select ARCH_QEMU_E500
192 config TARGET_T102XQDS
193 bool "Support T102xQDS"
197 config TARGET_T102XRDB
198 bool "Support T102xRDB"
202 config TARGET_T1040QDS
203 bool "Support T1040QDS"
206 config TARGET_T104XRDB
207 bool "Support T104xRDB"
211 config TARGET_T208XQDS
212 bool "Support T208xQDS"
216 config TARGET_T208XRDB
217 bool "Support T208xRDB"
221 config TARGET_T4240QDS
222 bool "Support T4240QDS"
226 config TARGET_T4240RDB
227 bool "Support T4240RDB"
231 config TARGET_CONTROLCENTERD
232 bool "Support controlcenterd"
235 config TARGET_KMP204X
236 bool "Support kmp204x"
240 config TARGET_XPEDITE520X
241 bool "Support xpedite520x"
244 config TARGET_XPEDITE537X
245 bool "Support xpedite537x"
248 config TARGET_XPEDITE550X
249 bool "Support xpedite550x"
252 config TARGET_UCP1020
253 bool "Support uCP1020"
257 bool "Support Varisys Cyrus"
349 config ARCH_QEMU_E500
352 source "board/freescale/b4860qds/Kconfig"
353 source "board/freescale/bsc9131rdb/Kconfig"
354 source "board/freescale/bsc9132qds/Kconfig"
355 source "board/freescale/c29xpcie/Kconfig"
356 source "board/freescale/corenet_ds/Kconfig"
357 source "board/freescale/mpc8536ds/Kconfig"
358 source "board/freescale/mpc8540ads/Kconfig"
359 source "board/freescale/mpc8541cds/Kconfig"
360 source "board/freescale/mpc8544ds/Kconfig"
361 source "board/freescale/mpc8548cds/Kconfig"
362 source "board/freescale/mpc8555cds/Kconfig"
363 source "board/freescale/mpc8560ads/Kconfig"
364 source "board/freescale/mpc8568mds/Kconfig"
365 source "board/freescale/mpc8569mds/Kconfig"
366 source "board/freescale/mpc8572ds/Kconfig"
367 source "board/freescale/p1010rdb/Kconfig"
368 source "board/freescale/p1022ds/Kconfig"
369 source "board/freescale/p1023rdb/Kconfig"
370 source "board/freescale/p1_p2_rdb_pc/Kconfig"
371 source "board/freescale/p1_twr/Kconfig"
372 source "board/freescale/p2041rdb/Kconfig"
373 source "board/freescale/qemu-ppce500/Kconfig"
374 source "board/freescale/t102xqds/Kconfig"
375 source "board/freescale/t102xrdb/Kconfig"
376 source "board/freescale/t1040qds/Kconfig"
377 source "board/freescale/t104xrdb/Kconfig"
378 source "board/freescale/t208xqds/Kconfig"
379 source "board/freescale/t208xrdb/Kconfig"
380 source "board/freescale/t4qds/Kconfig"
381 source "board/freescale/t4rdb/Kconfig"
382 source "board/gdsys/p1022/Kconfig"
383 source "board/keymile/kmp204x/Kconfig"
384 source "board/sbc8548/Kconfig"
385 source "board/socrates/Kconfig"
386 source "board/varisys/cyrus/Kconfig"
387 source "board/xes/xpedite520x/Kconfig"
388 source "board/xes/xpedite537x/Kconfig"
389 source "board/xes/xpedite550x/Kconfig"
390 source "board/Arcturus/ucp1020/Kconfig"