12 bool "Support sbc8548"
14 config TARGET_SOCRATES
15 bool "Support socrates"
17 config TARGET_B4860QDS
18 bool "Support B4860QDS"
21 config TARGET_BSC9131RDB
22 bool "Support BSC9131RDB"
25 config TARGET_BSC9132QDS
26 bool "Support BSC9132QDS"
29 config TARGET_C29XPCIE
30 bool "Support C29XPCIE"
35 bool "Support P3041DS"
38 bool "Support P4080DS"
41 bool "Support P5020DS"
44 bool "Support P5040DS"
46 config TARGET_MPC8536DS
47 bool "Support MPC8536DS"
49 config TARGET_MPC8540ADS
50 bool "Support MPC8540ADS"
52 config TARGET_MPC8541CDS
53 bool "Support MPC8541CDS"
55 config TARGET_MPC8544DS
56 bool "Support MPC8544DS"
58 config TARGET_MPC8548CDS
59 bool "Support MPC8548CDS"
61 config TARGET_MPC8555CDS
62 bool "Support MPC8555CDS"
64 config TARGET_MPC8560ADS
65 bool "Support MPC8560ADS"
67 config TARGET_MPC8568MDS
68 bool "Support MPC8568MDS"
70 config TARGET_MPC8569MDS
71 bool "Support MPC8569MDS"
73 config TARGET_MPC8572DS
74 bool "Support MPC8572DS"
76 config TARGET_P1010RDB
77 bool "Support P1010RDB"
82 bool "Support P1022DS"
86 config TARGET_P1023RDB
87 bool "Support P1023RDB"
89 config TARGET_P1_P2_RDB_PC
90 bool "Support p1_p2_rdb_pc"
97 config TARGET_P2041RDB
98 bool "Support P2041RDB"
100 config TARGET_QEMU_PPCE500
101 bool "Support qemu-ppce500"
103 config TARGET_T102XQDS
104 bool "Support T102xQDS"
107 config TARGET_T102XRDB
108 bool "Support T102xRDB"
111 config TARGET_T1040QDS
112 bool "Support T1040QDS"
114 config TARGET_T104XRDB
115 bool "Support T104xRDB"
118 config TARGET_T208XQDS
119 bool "Support T208xQDS"
122 config TARGET_T208XRDB
123 bool "Support T208xRDB"
126 config TARGET_T4240QDS
127 bool "Support T4240QDS"
130 config TARGET_T4240RDB
131 bool "Support T4240RDB"
134 config TARGET_CONTROLCENTERD
135 bool "Support controlcenterd"
137 config TARGET_KMP204X
138 bool "Support kmp204x"
141 bool "Support stxgp3"
144 bool "Support stxssa"
146 config TARGET_XPEDITE520X
147 bool "Support xpedite520x"
149 config TARGET_XPEDITE537X
150 bool "Support xpedite537x"
152 config TARGET_XPEDITE550X
153 bool "Support xpedite550x"
155 config TARGET_UCP1020
156 bool "Support uCP1020"
160 source "board/freescale/b4860qds/Kconfig"
161 source "board/freescale/bsc9131rdb/Kconfig"
162 source "board/freescale/bsc9132qds/Kconfig"
163 source "board/freescale/c29xpcie/Kconfig"
164 source "board/freescale/corenet_ds/Kconfig"
165 source "board/freescale/mpc8536ds/Kconfig"
166 source "board/freescale/mpc8540ads/Kconfig"
167 source "board/freescale/mpc8541cds/Kconfig"
168 source "board/freescale/mpc8544ds/Kconfig"
169 source "board/freescale/mpc8548cds/Kconfig"
170 source "board/freescale/mpc8555cds/Kconfig"
171 source "board/freescale/mpc8560ads/Kconfig"
172 source "board/freescale/mpc8568mds/Kconfig"
173 source "board/freescale/mpc8569mds/Kconfig"
174 source "board/freescale/mpc8572ds/Kconfig"
175 source "board/freescale/p1010rdb/Kconfig"
176 source "board/freescale/p1022ds/Kconfig"
177 source "board/freescale/p1023rdb/Kconfig"
178 source "board/freescale/p1_p2_rdb_pc/Kconfig"
179 source "board/freescale/p1_twr/Kconfig"
180 source "board/freescale/p2041rdb/Kconfig"
181 source "board/freescale/qemu-ppce500/Kconfig"
182 source "board/freescale/t102xqds/Kconfig"
183 source "board/freescale/t102xrdb/Kconfig"
184 source "board/freescale/t1040qds/Kconfig"
185 source "board/freescale/t104xrdb/Kconfig"
186 source "board/freescale/t208xqds/Kconfig"
187 source "board/freescale/t208xrdb/Kconfig"
188 source "board/freescale/t4qds/Kconfig"
189 source "board/freescale/t4rdb/Kconfig"
190 source "board/gdsys/p1022/Kconfig"
191 source "board/keymile/kmp204x/Kconfig"
192 source "board/sbc8548/Kconfig"
193 source "board/socrates/Kconfig"
194 source "board/stx/stxgp3/Kconfig"
195 source "board/stx/stxssa/Kconfig"
196 source "board/xes/xpedite520x/Kconfig"
197 source "board/xes/xpedite537x/Kconfig"
198 source "board/xes/xpedite550x/Kconfig"
199 source "board/Arcturus/ucp1020/Kconfig"