xref: /utopia/UTPA2-700.0.x/projects/build/k6/.config_k6_optee_arm32_softfloat_static_general (revision 53ee8cc121a030b8d368113ac3e966b4705770ef)
1#
2# Automatically generated make config: don't edit
3# Utopia Configuration
4#
5# CONFIG_EMERALD is not set
6# CONFIG_EDISON is not set
7# CONFIG_EDEN is not set
8# CONFIG_EIFFEL is not set
9# CONFIG_EULER is not set
10# CONFIG_AMETHYST is not set
11# CONFIG_MACAW12 is not set
12# CONFIG_K1 is not set
13# CONFIG_KERES is not set
14# CONFIG_KIRIN is not set
15# CONFIG_KRIS is not set
16# CONFIG_NIKE is not set
17# CONFIG_MADISON is not set
18# CONFIG_MIAMI is not set
19# CONFIG_EINSTEIN is not set
20# CONFIG_NAPOLI is not set
21# CONFIG_EINSTEIN3 is not set
22# CONFIG_KAISER is not set
23# CONFIG_MONACO is not set
24# CONFIG_CLIPPERS is not set
25# CONFIG_CELTICS is not set
26# CONFIG_MUJI is not set
27# CONFIG_MUNICH is not set
28# CONFIG_KANO is not set
29# CONFIG_MONET is not set
30# CONFIG_MANHATTAN is not set
31# CONFIG_MESSI is not set
32# CONFIG_MASERATI is not set
33# CONFIG_MAXIM is not set
34CONFIG_K6=y
35# CONFIG_K6LITE is not set
36# CONFIG_K7U is not set
37CONFIG_CHIP="k6"
38
39#
40# Utopia Platform Configuration
41#
42# CONFIG_ARM_CA53 is not set
43# CONFIG_ARM_CA12 is not set
44# CONFIG_ARM_CA9 is not set
45CONFIG_ARM_CA7=y
46# CONFIG_MIPS_4KE is not set
47# CONFIG_MIPS_34K is not set
48# CONFIG_MIPS_74K is not set
49# CONFIG_AEON is not set
50# CONFIG_R2 is not set
51CONFIG_MCU_TYPE="arm_ca7"
52CONFIG_SOFT=y
53# CONFIG_HARD is not set
54CONFIG_FPU="soft"
55# CONFIG_NOS is not set
56# CONFIG_LINUX is not set
57# CONFIG_ECOS is not set
58# CONFIG_NUTTX is not set
59# CONFIG_UCOS is not set
60CONFIG_OPTEE=y
61CONFIG_OS_TYPE="optee"
62CONFIG_TVOS=y
63# CONFIG_ANDROID is not set
64# CONFIG_MBOOT is not set
65# CONFIG_CHAKRA2 is not set
66# CONFIG_PUMABOOT is not set
67# CONFIG_FRC is not set
68CONFIG_EXT_PLATFORM_FLAG="tvos"
69CONFIG_KERN_3_1_10=y
70# CONFIG_KERN_3_10_23 is not set
71# CONFIG_KERN_3_10_40 is not set
72# CONFIG_KERN_3_10_86 is not set
73CONFIG_KERN_VER="3.1.10"
74# CONFIG_FPGA is not set
75# CONFIG_DLMALLOC is not set
76# CONFIG_KERNEL_DLMALLOC is not set
77# CONFIG_CHIP_INT_SPI_MODE is not set
78CONFIG_DONT_USE_CMA=y
79# CONFIG_MLOG is not set
80
81#
82# General Setup
83#
84CONFIG_TOOLCHAIN="arm-linux-gnueabi"
85CONFIG_TOOLCHAIN_VER=""
86CONFIG_ENDIAN="mlittle-endian"
87
88#
89# Build Options
90#
91CONFIG_STATIC=y
92# CONFIG_DYNAMIC is not set
93CONFIG_LINK_TYPE="static"
94CONFIG_LIB=y
95# CONFIG_EXE is not set
96# CONFIG_LINT is not set
97CONFIG_MAKE_TYPE="lib"
98# CONFIG_DEBUG is not set
99CONFIG_RETAIL=y
100CONFIG_BLT_TYPE="retail"
101# CONFIG_LEVEL_1 is not set
102# CONFIG_LEVEL_2 is not set
103# CONFIG_LEVEL_3 is not set
104# CONFIG_LEVEL_4 is not set
105CONFIG_LEVEL_5=y
106CONFIG_DEBUG_LEVEL="5"
107# CONFIG_FW_TYPE_EXTERNAL is not set
108CONFIG_FW_TYPE_EMBEDDED=y
109# CONFIG_PURE_SN is not set
110# CONFIG_BIFROST_32BIT_MODE is not set
111# CONFIG_MIU_64BIT_DOMAIN_SEL is not set
112CONFIG_FW_TYPE="embedded"
113# CONFIG_INCREMENTAL_BUILD is not set
114# CONFIG_STACK_PROTECTOR is not set
115CONFIG_NON_BLOCK=y
116# CONFIG_BLOCK is not set
117CONFIG_ASSERT_TYPE="non_block"
118# CONFIG_VERSION_INFO_EMBADE is not set
119
120#
121# Utopia Drviver Library Selection
122#
123
124#
125# Utopia Driver Libraries
126#
127# CONFIG_DRV_ACE is not set
128# CONFIG_DRV_AESDMA is not set
129CONFIG_DRV_AUDIO=y
130CONFIG_DRV_AUDSP=y
131# CONFIG_DRV_AVD is not set
132CONFIG_DRV_BDMA=y
133CONFIG_DRV_CA2=y
134CONFIG_CA2_UTOPIA_20_ENABLE=y
135# CONFIG_CA2_NO_PRINTF_ENABLE is not set
136# CONFIG_DRV_CEC is not set
137CONFIG_DRV_CIPHER=y
138CONFIG_CIPHER_UTOPIA_20_ENABLE=y
139# CONFIG_CIPHER_NO_PRINTF_ENABLE is not set
140# CONFIG_DRV_CMDQ is not set
141CONFIG_DRV_CPU=y
142# CONFIG_DRV_CH34 is not set
143# CONFIG_DRV_DAC is not set
144# CONFIG_DRV_DDC2BI is not set
145# CONFIG_DRV_DEMOD is not set
146# CONFIG_AMAZON is not set
147# CONFIG_DRV_DLC is not set
148# CONFIG_DRV_DMD is not set
149# CONFIG_DRV_DSCMB is not set
150CONFIG_DRV_DSCMB2=y
151CONFIG_DSCMB2_UTOPIA_20_ENABLE=y
152# CONFIG_DSCMB2_NSK_ENABLE is not set
153# CONFIG_DSCMB2_MULTI2_ENABLE is not set
154# CONFIG_DSCMB2_NO_PRINTF_ENABLE is not set
155# CONFIG_DSCMB2_HW_SEM_ENABLE is not set
156# CONFIG_DRV_MSB1233 is not set
157# CONFIG_DRV_FLASH is not set
158# CONFIG_DRV_GE is not set
159# CONFIG_DRV_GOP is not set
160# CONFIG_DRV_GOPSC is not set
161# CONFIG_DRV_GPD is not set
162# CONFIG_DRV_GPIO is not set
163# CONFIG_MSTAR_UTPA2K_GPIO_ENABLE is not set
164CONFIG_DRV_HDCP=y
165# CONFIG_DRV_HDMITX is not set
166# CONFIG_DRV_HDMITX2 is not set
167# CONFIG_DRV_HVD is not set
168# CONFIG_DRV_HVD_EX is not set
169# CONFIG_DRV_HVD_V3 is not set
170# CONFIG_DRV_HWI2C is not set
171# CONFIG_MSTAR_UTPA2K_HWI2C_ENABLE is not set
172# CONFIG_MSTAR_HWI2C_KERNEL_MODE is not set
173CONFIG_DRV_IPAUTH=y
174# CONFIG_DRV_IR is not set
175# CONFIG_DRV_IRQ is not set
176# CONFIG_DRV_JPD is not set
177# CONFIG_DRV_JPD_EX is not set
178CONFIG_DRV_MBX=y
179# CONFIG_DRV_MFC is not set
180# CONFIG_DRV_MFE is not set
181# CONFIG_DRV_MFE_EX is not set
182# CONFIG_DRV_MHL is not set
183# CONFIG_DRV_MIU is not set
184# CONFIG_DRV_MMIO is not set
185CONFIG_MSOS=y
186# CONFIG_INT_SPI_MODE is not set
187# CONFIG_MSFS is not set
188# CONFIG_DRV_MVD is not set
189# CONFIG_DRV_MVD_EX is not set
190# CONFIG_DRV_MVD_V3 is not set
191CONFIG_DRV_MVOP=y
192# CONFIG_DRV_MSPI is not set
193# CONFIG_DRV_NSK2 is not set
194# CONFIG_DRV_NJPD_EX is not set
195# CONFIG_DRV_PCMCIA is not set
196# CONFIG_DRV_PM is not set
197CONFIG_DRV_PNL=y
198# CONFIG_DRV_PWM is not set
199# CONFIG_DRV_PWS is not set
200# CONFIG_DRV_RASP is not set
201# CONFIG_DRV_RTC is not set
202# CONFIG_DRV_RVD is not set
203# CONFIG_DRV_SAR is not set
204# CONFIG_MSTAR_UTPA2K_SAR_ENABLE is not set
205# CONFIG_MSTAR_T_SENSOR_ENABLE is not set
206# CONFIG_DRV_SC is not set
207CONFIG_DRV_SEM=y
208# CONFIG_DRV_SMBX is not set
209# CONFIG_DRV_STBDC is not set
210CONFIG_DRV_SYS=y
211# CONFIG_DRV_TSO is not set
212# CONFIG_DRV_TSP is not set
213# CONFIG_DRV_TSP2 is not set
214# CONFIG_DRV_TSP3 is not set
215# CONFIG_DRV_TSP_TEE is not set
216# CONFIG_DRV_MMFI is not set
217# CONFIG_DRV_MMFI2 is not set
218# CONFIG_DRV_UART is not set
219CONFIG_DRV_URDMA=y
220# CONFIG_DRV_USB_ECOS is not set
221# CONFIG_USBHOST is not set
222# CONFIG_DRV_VBI is not set
223CONFIG_DRV_VE=y
224# CONFIG_DRV_VIF is not set
225# CONFIG_DRV_WBLE is not set
226# CONFIG_DRV_WDT is not set
227# CONFIG_MSTAR_UTPA2K_WDT_ENABLE is not set
228# CONFIG_MSTAR_WDT_KERNEL_MODE is not set
229# CONFIG_DRV_XC is not set
230CONFIG_DRV_SEAL=y
231CONFIG_DRV_PQ=y
232# CONFIG_MSTAR_CLKM is not set
233# CONFIG_MSTAR_SRAMPD is not set
234# CONFIG_DRV_LDM is not set
235
236#
237# Utopia API Library Selection
238#
239
240#
241# Utopia API Libraries
242#
243CONFIG_API_ACE=y
244CONFIG_API_ACP=y
245CONFIG_API_AUDIO=y
246CONFIG_AUDIO_UTOPIA_20_ENABLE=y
247# CONFIG_API_CEC is not set
248CONFIG_API_DAC=y
249# CONFIG_API_DLC is not set
250# CONFIG_API_DMX is not set
251# CONFIG_API_DMX_TEE is not set
252# CONFIG_API_GFX is not set
253CONFIG_API_GOP=y
254CONFIG_GOP_POOL_ARRANGE=y
255CONFIG_GOP_GWIN_MISC=y
256CONFIG_GOP_2ND_PAL=y
257CONFIG_GOP_BG=y
258CONFIG_GOP_FADE=y
259CONFIG_GOP_YUV_SWAP=y
260CONFIG_GOP_CONTRAST=y
261CONFIG_GOP_VE_CAPTURE=y
262CONFIG_GOP_SCROLL=y
263CONFIG_GOP_TEST_PATTERN=y
264# CONFIG_GOP_DISABLE_GFLIP is not set
265# CONFIG_API_GOPSC is not set
266# CONFIG_API_GOPSCD is not set
267# CONFIG_API_GPD is not set
268# CONFIG_API_HDMITX is not set
269# CONFIG_API_HDMITX2 is not set
270# CONFIG_API_HSL is not set
271# CONFIG_API_JPEG is not set
272# CONFIG_API_JPEG_EX is not set
273# CONFIG_API_MFE is not set
274# CONFIG_API_MFE_EX is not set
275# CONFIG_API_MHL is not set
276# CONFIG_API_NJPEG_EX is not set
277# CONFIG_API_PNL is not set
278# CONFIG_API_SWI2C is not set
279# CONFIG_API_MBX is not set
280# CONFIG_API_VDEC is not set
281# CONFIG_API_VDEC_EX is not set
282CONFIG_API_VDEC_V3=y
283# CONFIG_API_VDEC_LITE is not set
284CONFIG_API_XC=y
285# CONFIG_XC_SEAMLESS_SCALING is not set
286# CONFIG_XC_4K2K_PATCH_ENABLE is not set
287
288#
289# Utoipa framework
290#
291# CONFIG_UTOPIA_TEE is not set
292# CONFIG_UTOPIA_DRIVER_STRUCT_PACKED is not set
293CONFIG_UTOPIA_FRAMEWORK=y
294# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER is not set
295# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_64BIT is not set
296# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_32BIT is not set
297# CONFIG_UTOPIA_FRAMEWORK_DISABLE_SYSTEM_V_IPCS is not set
298# CONFIG_UTOPIAXP_PATCH is not set
299CONFIG_UTOPIAXP_CONF_PATH="/applications/utopia.conf"
300# CONFIG_UTOPIA_GARBAGE_COLLECTION is not set
301