xref: /utopia/UTPA2-700.0.x/projects/build/k6/.config_k6_nos_arm_softfloat_static_fpga (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"
55CONFIG_NOS=y
56# CONFIG_LINUX is not set
57# CONFIG_ECOS is not set
58# CONFIG_NUTTX is not set
59# CONFIG_UCOS is not set
60# CONFIG_OPTEE is not set
61CONFIG_OS_TYPE="nos"
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"
74CONFIG_FPGA=y
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-none-eabi"
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"
107CONFIG_FW_TYPE_EXTERNAL=y
108# CONFIG_FW_TYPE_EMBEDDED is not set
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="external"
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
129# CONFIG_DRV_AUDIO is not set
130# CONFIG_DRV_AUDSP is not set
131# CONFIG_DRV_AVD is not set
132CONFIG_DRV_BDMA=y
133# CONFIG_DRV_CA2 is not set
134# CONFIG_DRV_CEC is not set
135# CONFIG_DRV_CIPHER 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
140CONFIG_DRV_DDC2BI=y
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
146# CONFIG_DRV_DSCMB2 is not set
147# CONFIG_DRV_MSB1233 is not set
148CONFIG_DRV_FLASH=y
149# CONFIG_DRV_NOR_FLASH is not set
150CONFIG_DRV_SERIAL_FLASH=y
151# CONFIG_DRV_GE is not set
152# CONFIG_DRV_GOP is not set
153# CONFIG_DRV_GOPSC is not set
154# CONFIG_DRV_GPD is not set
155CONFIG_DRV_GPIO=y
156# CONFIG_MSTAR_UTPA2K_GPIO_ENABLE is not set
157# CONFIG_DRV_HDCP is not set
158# CONFIG_DRV_HDMITX is not set
159# CONFIG_DRV_HDMITX2 is not set
160# CONFIG_DRV_HVD is not set
161# CONFIG_DRV_HVD_EX is not set
162# CONFIG_DRV_HVD_V3 is not set
163CONFIG_DRV_HWI2C=y
164# CONFIG_MSTAR_UTPA2K_HWI2C_ENABLE is not set
165# CONFIG_MSTAR_HWI2C_KERNEL_MODE is not set
166# CONFIG_HWIIC_INTERRUPT_MODE_ENABLE is not set
167CONFIG_DRV_IPAUTH=y
168CONFIG_DRV_IR=y
169CONFIG_DRV_IRQ=y
170# CONFIG_DRV_JPD is not set
171# CONFIG_DRV_JPD_EX is not set
172# CONFIG_DRV_MBX is not set
173# CONFIG_DRV_MFC is not set
174# CONFIG_DRV_MFE is not set
175# CONFIG_DRV_MFE_EX is not set
176# CONFIG_DRV_MHL is not set
177CONFIG_DRV_MIU=y
178# CONFIG_DRV_MMIO is not set
179# CONFIG_MSOS is not set
180# CONFIG_INT_SPI_MODE is not set
181# CONFIG_MSFS is not set
182# CONFIG_DRV_MVD is not set
183# CONFIG_DRV_MVD_EX is not set
184# CONFIG_DRV_MVD_V3 is not set
185# CONFIG_DRV_MVOP is not set
186CONFIG_DRV_MSPI=y
187# CONFIG_DRV_NSK2 is not set
188# CONFIG_DRV_NJPD_EX is not set
189CONFIG_DRV_PCMCIA=y
190CONFIG_DRV_PM=y
191# CONFIG_DRV_PNL is not set
192CONFIG_DRV_PWM=y
193# CONFIG_DRV_PWS is not set
194# CONFIG_DRV_RASP is not set
195CONFIG_DRV_RTC=y
196# CONFIG_DRV_RVD is not set
197CONFIG_DRV_SAR=y
198# CONFIG_MSTAR_UTPA2K_SAR_ENABLE is not set
199# CONFIG_MSTAR_T_SENSOR_ENABLE is not set
200# CONFIG_MSTAR_DVFS_ENABLE is not set
201# CONFIG_MSTAR_DVFS_KERNEL_SUPPORT is not set
202CONFIG_DRV_SC=y
203# CONFIG_DRV_SEM is not set
204# CONFIG_DRV_SMBX is not set
205# CONFIG_DRV_STBDC is not set
206# CONFIG_DRV_SYS is not set
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
219CONFIG_DRV_VE=y
220# CONFIG_DRV_VIF is not set
221# CONFIG_DRV_WBLE is not set
222CONFIG_DRV_WDT=y
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
226# CONFIG_DRV_SEAL is not set
227# CONFIG_DRV_PQ is not set
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#
239CONFIG_API_ACE=y
240# CONFIG_API_ACP is not set
241# CONFIG_API_AUDIO is not set
242CONFIG_AUDIO_UTOPIA_20_ENABLE=y
243CONFIG_API_CEC=y
244CONFIG_API_DAC=y
245CONFIG_API_DLC=y
246CONFIG_API_DMX=y
247CONFIG_DMX_UTOPIA_20_ENABLE=y
248CONFIG_STC64_ENABLE=y
249# CONFIG_VQ_ENABLE is not set
250# CONFIG_FIVQ_ENABLE is not set
251CONFIG_FQ_ENABLE=y
252# CONFIG_EXT_FILTER_ENABLE is not set
253# CONFIG_TSP2_ENABLE is not set
254# CONFIG_TSP3_ENABLE is not set
255CONFIG_MMFILEIN_ENABLE=y
256CONFIG_MMFI3D_ENABLE=y
257# CONFIG_MMFI2_EXTRA_AUFIFO_ENABLE is not set
258# CONFIG_MOBF_ENABLE is not set
259# CONFIG_MMFIMOBF_ENABLE is not set
260CONFIG_USE_HWPCR_ENABLE=y
261# CONFIG_DMX_DEBUG_TABLE_ENABLE is not set
262# CONFIG_TSP3_DULFLT_ENABLE is not set
263# CONFIG_EXTRA_PVR1_FLT_ENABLE is not set
264# CONFIG_TS2_LIVE_ENABLE is not set
265# CONFIG_RASP_SUPPORT is not set
266# CONFIG_TSIO_SUPPORT is not set
267CONFIG_TSO_SUPPORT=y
268CONFIG_TSO_VER_20_SUPPORT=y
269CONFIG_TSO_HW_BOX_SERIES=y
270CONFIG_MERGE_STREAM_SUPPORT=y
271# CONFIG_GENERAL_DSCMB_SUPPORT is not set
272# CONFIG_OTV_SUPPORT is not set
273# CONFIG_SECURE_PVR_SUPPORT is not set
274# CONFIG_TSO_PVR_SUPPORT is not set
275# CONFIG_API_DMX_TEE is not set
276# CONFIG_API_GFX is not set
277# CONFIG_API_GOP is not set
278# CONFIG_API_GOPSC is not set
279# CONFIG_API_GOPSCD is not set
280# CONFIG_API_GPD is not set
281CONFIG_API_HDMITX=y
282# CONFIG_API_HDMITX2 is not set
283# CONFIG_API_HSL is not set
284# CONFIG_API_JPEG is not set
285# CONFIG_API_JPEG_EX is not set
286# CONFIG_API_MFE is not set
287# CONFIG_API_MFE_EX is not set
288# CONFIG_API_MHL is not set
289# CONFIG_API_NJPEG_EX is not set
290# CONFIG_API_PNL is not set
291CONFIG_API_SWI2C=y
292CONFIG_API_MBX=y
293# CONFIG_MBX_GROUP_PATCH is not set
294# CONFIG_API_VDEC is not set
295# CONFIG_API_VDEC_EX is not set
296# CONFIG_API_VDEC_V3 is not set
297# CONFIG_API_VDEC_LITE is not set
298# CONFIG_API_XC is not set
299
300#
301# Utoipa framework
302#
303# CONFIG_UTOPIA_TEE is not set
304CONFIG_UTOPIA_DRIVER_STRUCT_PACKED=y
305CONFIG_UTOPIA_FRAMEWORK=y
306# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER is not set
307# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_64BIT is not set
308# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_32BIT is not set
309# CONFIG_UTOPIA_FRAMEWORK_DISABLE_SYSTEM_V_IPCS is not set
310# CONFIG_UTOPIAXP_PATCH is not set
311CONFIG_UTOPIAXP_CONF_PATH="/applications/utopia.conf"
312# CONFIG_UTOPIA_GARBAGE_COLLECTION is not set
313