xref: /utopia/UTPA2-700.0.x/projects/build/k6lite/.config_k6lite_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
34# CONFIG_K6 is not set
35CONFIG_K6LITE=y
36# CONFIG_K7U is not set
37CONFIG_CHIP="k6lite"
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_CHIP_INT_SPI_MODE is not set
77CONFIG_DONT_USE_CMA=y
78# CONFIG_MLOG is not set
79
80#
81# General Setup
82#
83CONFIG_TOOLCHAIN="arm-linux-gnueabi"
84CONFIG_ENDIAN="mlittle-endian"
85
86#
87# Build Options
88#
89CONFIG_STATIC=y
90# CONFIG_DYNAMIC is not set
91CONFIG_LINK_TYPE="static"
92CONFIG_LIB=y
93# CONFIG_EXE is not set
94# CONFIG_LINT is not set
95CONFIG_MAKE_TYPE="lib"
96# CONFIG_DEBUG is not set
97CONFIG_RETAIL=y
98CONFIG_BLT_TYPE="retail"
99# CONFIG_LEVEL_1 is not set
100# CONFIG_LEVEL_2 is not set
101# CONFIG_LEVEL_3 is not set
102# CONFIG_LEVEL_4 is not set
103CONFIG_LEVEL_5=y
104CONFIG_DEBUG_LEVEL="5"
105# CONFIG_FW_TYPE_EXTERNAL is not set
106CONFIG_FW_TYPE_EMBEDDED=y
107# CONFIG_PURE_SN is not set
108# CONFIG_BIFROST_32BIT_MODE is not set
109CONFIG_FW_TYPE="embedded"
110# CONFIG_INCREMENTAL_BUILD is not set
111CONFIG_NON_BLOCK=y
112# CONFIG_BLOCK is not set
113CONFIG_ASSERT_TYPE="non_block"
114# CONFIG_VERSION_INFO_EMBADE is not set
115
116#
117# Utopia Drviver Library Selection
118#
119
120#
121# Utopia Driver Libraries
122#
123# CONFIG_DRV_ACE is not set
124# CONFIG_DRV_AESDMA is not set
125CONFIG_DRV_AUDIO=y
126CONFIG_DRV_AUDSP=y
127# CONFIG_DRV_AVD is not set
128CONFIG_DRV_BDMA=y
129CONFIG_DRV_CA2=y
130CONFIG_CA2_UTOPIA_20_ENABLE=y
131# CONFIG_CA2_NO_PRINTF_ENABLE is not set
132# CONFIG_DRV_CEC is not set
133CONFIG_DRV_CIPHER=y
134CONFIG_CIPHER_UTOPIA_20_ENABLE=y
135# CONFIG_CIPHER_NO_PRINTF_ENABLE is not set
136# CONFIG_DRV_CMDQ is not set
137CONFIG_DRV_CPU=y
138# CONFIG_DRV_CH34 is not set
139# CONFIG_DRV_DAC is not set
140# CONFIG_DRV_DDC2BI is not set
141# CONFIG_DRV_DEMOD is not set
142# CONFIG_AMAZON is not set
143# CONFIG_DRV_DLC is not set
144# CONFIG_DRV_DMD is not set
145# CONFIG_DRV_DSCMB is not set
146CONFIG_DRV_DSCMB2=y
147CONFIG_DSCMB2_UTOPIA_20_ENABLE=y
148# CONFIG_DSCMB2_NSK_ENABLE is not set
149# CONFIG_DSCMB2_MULTI2_ENABLE is not set
150# CONFIG_DSCMB2_NO_PRINTF_ENABLE is not set
151# CONFIG_DSCMB2_HW_SEM_ENABLE is not set
152# CONFIG_DRV_MSB1233 is not set
153# CONFIG_DRV_FLASH is not set
154# CONFIG_DRV_GE is not set
155# CONFIG_DRV_GOP is not set
156# CONFIG_DRV_GOPSC is not set
157# CONFIG_DRV_GPD is not set
158# CONFIG_DRV_GPIO is not set
159# CONFIG_MSTAR_UTPA2K_GPIO_ENABLE is not set
160CONFIG_DRV_HDCP=y
161# CONFIG_DRV_HDMITX is not set
162# CONFIG_DRV_HDMITX2 is not set
163# CONFIG_DRV_HVD is not set
164# CONFIG_DRV_HVD_EX is not set
165# CONFIG_DRV_HVD_V3 is not set
166# CONFIG_DRV_HWI2C is not set
167# CONFIG_MSTAR_UTPA2K_HWI2C_ENABLE is not set
168# CONFIG_MSTAR_HWI2C_KERNEL_MODE is not set
169CONFIG_DRV_IPAUTH=y
170# CONFIG_DRV_IR is not set
171# CONFIG_DRV_IRQ is not set
172# CONFIG_DRV_JPD is not set
173# CONFIG_DRV_JPD_EX is not set
174CONFIG_DRV_MBX=y
175# CONFIG_DRV_MFC is not set
176# CONFIG_DRV_MFE is not set
177# CONFIG_DRV_MFE_EX is not set
178# CONFIG_DRV_MHL is not set
179# CONFIG_DRV_MIU is not set
180# CONFIG_DRV_MMIO is not set
181CONFIG_MSOS=y
182# CONFIG_INT_SPI_MODE is not set
183# CONFIG_MSFS is not set
184# CONFIG_DRV_MVD is not set
185# CONFIG_DRV_MVD_EX is not set
186# CONFIG_DRV_MVD_V3 is not set
187CONFIG_DRV_MVOP=y
188# CONFIG_DRV_MSPI is not set
189# CONFIG_DRV_NSK2 is not set
190# CONFIG_DRV_NJPD_EX is not set
191# CONFIG_DRV_PCMCIA is not set
192# CONFIG_DRV_PM is not set
193CONFIG_DRV_PNL=y
194# CONFIG_DRV_PWM is not set
195# CONFIG_DRV_PWS is not set
196# CONFIG_DRV_RASP is not set
197# CONFIG_DRV_RTC is not set
198# CONFIG_DRV_RVD is not set
199# CONFIG_DRV_SAR is not set
200# CONFIG_MSTAR_UTPA2K_SAR_ENABLE is not set
201# CONFIG_MSTAR_T_SENSOR_ENABLE is not set
202# CONFIG_DRV_SC is not set
203CONFIG_DRV_SEM=y
204# CONFIG_DRV_SMBX is not set
205# CONFIG_DRV_STBDC is not set
206CONFIG_DRV_SYS=y
207# CONFIG_DRV_TSO is not set
208# CONFIG_DRV_TSP is not set
209# CONFIG_DRV_TSP2 is not set
210# CONFIG_DRV_TSP3 is not set
211# CONFIG_DRV_TSP_TEE is not set
212# CONFIG_DRV_MMFI is not set
213# CONFIG_DRV_MMFI2 is not set
214# CONFIG_DRV_UART is not set
215CONFIG_DRV_URDMA=y
216# CONFIG_DRV_USB_ECOS is not set
217# CONFIG_USBHOST is not set
218# CONFIG_DRV_VBI is not set
219# CONFIG_DRV_VE is not set
220# CONFIG_DRV_VIF is not set
221# CONFIG_DRV_WBLE is not set
222# CONFIG_DRV_WDT is not set
223# CONFIG_MSTAR_UTPA2K_WDT_ENABLE is not set
224# CONFIG_MSTAR_WDT_KERNEL_MODE is not set
225# CONFIG_DRV_XC is not set
226CONFIG_DRV_SEAL=y
227CONFIG_DRV_PQ=y
228# CONFIG_MSTAR_CLKM is not set
229# CONFIG_MSTAR_SRAMPD is not set
230# CONFIG_DRV_LDM is not set
231
232#
233# Utopia API Library Selection
234#
235
236#
237# Utopia API Libraries
238#
239# CONFIG_API_ACE is not set
240# CONFIG_API_ACP is not set
241CONFIG_API_AUDIO=y
242CONFIG_AUDIO_UTOPIA_20_ENABLE=y
243# CONFIG_API_CEC is not set
244# CONFIG_API_DAC is not set
245# CONFIG_API_DLC is not set
246# CONFIG_API_DMX is not set
247# CONFIG_API_DMX_TEE is not set
248CONFIG_API_GFX=y
249CONFIG_GFX_TEXTOUT=y
250CONFIG_GFX_TRAPZOID=y
251# CONFIG_API_GOP is not set
252# CONFIG_API_GOPSC is not set
253# CONFIG_API_GOPSCD is not set
254# CONFIG_API_GPD is not set
255# CONFIG_API_HDMITX is not set
256# CONFIG_API_HDMITX2 is not set
257# CONFIG_API_HSL is not set
258# CONFIG_API_JPEG is not set
259# CONFIG_API_JPEG_EX is not set
260# CONFIG_API_MFE is not set
261# CONFIG_API_MFE_EX is not set
262# CONFIG_API_MHL is not set
263# CONFIG_API_NJPEG_EX is not set
264CONFIG_API_PNL=y
265# CONFIG_API_SWI2C is not set
266# CONFIG_API_MBX is not set
267# CONFIG_API_VDEC is not set
268# CONFIG_API_VDEC_EX is not set
269CONFIG_API_VDEC_V3=y
270# CONFIG_API_VDEC_LITE is not set
271CONFIG_API_XC=y
272# CONFIG_XC_SEAMLESS_SCALING is not set
273# CONFIG_XC_4K2K_PATCH_ENABLE is not set
274
275#
276# Utoipa framework
277#
278# CONFIG_UTOPIA_TEE is not set
279# CONFIG_UTOPIA_DRIVER_STRUCT_PACKED is not set
280CONFIG_UTOPIA_FRAMEWORK=y
281# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER is not set
282# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_64BIT is not set
283# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_32BIT is not set
284# CONFIG_UTOPIA_FRAMEWORK_DISABLE_SYSTEM_V_IPCS is not set
285# CONFIG_UTOPIAXP_PATCH is not set
286CONFIG_UTOPIAXP_CONF_PATH="/applications/utopia.conf"
287