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_MCLAREN is not set 34# CONFIG_MAXIM is not set 35# CONFIG_K6 is not set 36# CONFIG_K6LITE is not set 37# CONFIG_K7U is not set 38# CONFIG_CURRY is not set 39CONFIG_MUSTANG=y 40# CONFIG_MARCUS is not set 41CONFIG_CHIP="mustang" 42 43# 44# Utopia Platform Configuration 45# 46# CONFIG_ARM_CA53 is not set 47# CONFIG_ARM_CA12 is not set 48# CONFIG_ARM_CA9 is not set 49# CONFIG_ARM_CA7 is not set 50# CONFIG_MIPS_4KE is not set 51# CONFIG_MIPS_34K is not set 52# CONFIG_MIPS_74K is not set 53# CONFIG_AEON is not set 54CONFIG_R2=y 55CONFIG_MCU_TYPE="aeon" 56CONFIG_SOFT=y 57# CONFIG_HARD is not set 58CONFIG_FPU="soft" 59# CONFIG_NOS is not set 60# CONFIG_LINUX is not set 61# CONFIG_ECOS is not set 62CONFIG_NUTTX=y 63# CONFIG_UCOS is not set 64# CONFIG_OPTEE is not set 65CONFIG_OS_TYPE="nuttx" 66CONFIG_TVOS=y 67# CONFIG_ANDROID is not set 68# CONFIG_MBOOT is not set 69# CONFIG_CHAKRA2 is not set 70# CONFIG_PUMABOOT is not set 71# CONFIG_FRC is not set 72CONFIG_EXT_PLATFORM_FLAG="tvos" 73CONFIG_KERN_3_1_10=y 74# CONFIG_KERN_3_10_23 is not set 75# CONFIG_KERN_3_10_40 is not set 76# CONFIG_KERN_3_10_86 is not set 77CONFIG_KERN_VER="3.1.10" 78# CONFIG_FPGA is not set 79# CONFIG_DLMALLOC is not set 80# CONFIG_KERNEL_DLMALLOC is not set 81# CONFIG_CHIP_INT_SPI_MODE is not set 82# CONFIG_DONT_USE_CMA is not set 83# CONFIG_MLOG is not set 84# CONFIG_MSOS_EVENTGROUP_MAX_SEL is not set 85 86# 87# General Setup 88# 89CONFIG_TOOLCHAIN="r2-elf" 90CONFIG_TOOLCHAIN_VER="" 91CONFIG_ENDIAN="-EL" 92 93# 94# Build Options 95# 96CONFIG_STATIC=y 97# CONFIG_DYNAMIC is not set 98CONFIG_LINK_TYPE="static" 99CONFIG_LIB=y 100# CONFIG_EXE is not set 101# CONFIG_LINT is not set 102CONFIG_MAKE_TYPE="lib" 103# CONFIG_DEBUG is not set 104CONFIG_RETAIL=y 105CONFIG_BLT_TYPE="retail" 106# CONFIG_LEVEL_1 is not set 107# CONFIG_LEVEL_2 is not set 108# CONFIG_LEVEL_3 is not set 109# CONFIG_LEVEL_4 is not set 110CONFIG_LEVEL_5=y 111CONFIG_DEBUG_LEVEL="5" 112# CONFIG_FW_TYPE_EXTERNAL is not set 113CONFIG_FW_TYPE_EMBEDDED=y 114# CONFIG_PURE_SN is not set 115# CONFIG_BIFROST_32BIT_MODE is not set 116# CONFIG_MIU_64BIT_DOMAIN_SEL is not set 117CONFIG_FW_TYPE="embedded" 118# CONFIG_INCREMENTAL_BUILD is not set 119# CONFIG_STACK_PROTECTOR is not set 120CONFIG_NON_BLOCK=y 121# CONFIG_BLOCK is not set 122CONFIG_ASSERT_TYPE="non_block" 123# CONFIG_VERSION_INFO_EMBADE is not set 124 125# 126# Utopia Drviver Library Selection 127# 128 129# 130# Utopia Driver Libraries 131# 132# CONFIG_DRV_ACE is not set 133CONFIG_DRV_AESDMA=y 134CONFIG_DRV_AUDIO=y 135CONFIG_DRV_AUDSP=y 136# CONFIG_DRV_AVD is not set 137CONFIG_DRV_BDMA=y 138# CONFIG_DRV_IR_TX is not set 139# CONFIG_DRV_CA2 is not set 140# CONFIG_DRV_CEC is not set 141# CONFIG_DRV_CIPHER is not set 142# CONFIG_DRV_CMDQ is not set 143CONFIG_DRV_CPU=y 144# CONFIG_DRV_CH34 is not set 145# CONFIG_DRV_DAC is not set 146# CONFIG_DRV_DDC2BI is not set 147# CONFIG_DRV_DEMOD is not set 148# CONFIG_AMAZON is not set 149# CONFIG_DRV_DLC is not set 150# CONFIG_DRV_DMD is not set 151CONFIG_DRV_DSCMB=y 152CONFIG_DSCMB_CSA_ENABLE=y 153CONFIG_DSCMB_MULTI2_ENABLE=y 154# CONFIG_DRV_DSCMB2 is not set 155# CONFIG_DRV_MSB1233 is not set 156# CONFIG_DRV_FLASH is not set 157# CONFIG_DRV_GE is not set 158# CONFIG_DRV_GOP is not set 159# CONFIG_DRV_GOPSC is not set 160# CONFIG_DRV_GPD is not set 161# CONFIG_DRV_GPIO is not set 162# CONFIG_MSTAR_UTPA2K_GPIO_ENABLE is not set 163# CONFIG_DRV_HDCP is not set 164# CONFIG_DRV_HDMITX is not set 165# CONFIG_DRV_HDMITX2 is not set 166# CONFIG_DRV_HVD is not set 167# CONFIG_DRV_HVD_EX is not set 168# CONFIG_DRV_HVD_V3 is not set 169# CONFIG_DRV_HWI2C is not set 170# CONFIG_MSTAR_UTPA2K_HWI2C_ENABLE is not set 171# CONFIG_MSTAR_HWI2C_KERNEL_MODE is not set 172CONFIG_DRV_IPAUTH=y 173# CONFIG_DRV_IR is not set 174# CONFIG_DRV_IRQ is not set 175# CONFIG_DRV_JPD is not set 176# CONFIG_DRV_JPD_EX is not set 177CONFIG_DRV_MBX=y 178# CONFIG_DRV_MFC is not set 179# CONFIG_DRV_MFE is not set 180# CONFIG_DRV_MFE_EX is not set 181# CONFIG_DRV_MHL is not set 182# CONFIG_DRV_MIU is not set 183# CONFIG_DRV_MMIO is not set 184CONFIG_MSOS=y 185# CONFIG_INT_SPI_MODE is not set 186# CONFIG_MSFS is not set 187# CONFIG_DRV_MVD is not set 188# CONFIG_DRV_MVD_EX is not set 189# CONFIG_DRV_MVD_V3 is not set 190# CONFIG_DRV_MVOP is not set 191# CONFIG_DRV_MSPI is not set 192# CONFIG_DRV_NSK2 is not set 193# CONFIG_DRV_NJPD_EX is not set 194# CONFIG_DRV_PCMCIA is not set 195# CONFIG_DRV_PM is not set 196# CONFIG_DRV_PNL is not set 197# CONFIG_DRV_PWM is not set 198# CONFIG_DRV_PWS is not set 199# CONFIG_DRV_RASP is not set 200# CONFIG_DRV_RTC is not set 201# CONFIG_DRV_RVD is not set 202# CONFIG_DRV_SAR is not set 203# CONFIG_MSTAR_UTPA2K_SAR_ENABLE is not set 204# CONFIG_MSTAR_T_SENSOR_ENABLE is not set 205# CONFIG_DRV_SC is not set 206# CONFIG_DRV_SEM is not set 207# CONFIG_DRV_SMBX is not set 208# CONFIG_DRV_STBDC is not set 209# CONFIG_DRV_SYS is not set 210# CONFIG_DRV_TSO is not set 211# CONFIG_DRV_TSP is not set 212# CONFIG_DRV_TSP2 is not set 213# CONFIG_DRV_TSP3 is not set 214# CONFIG_DRV_TSP_TEE is not set 215# CONFIG_DRV_MMFI is not set 216# CONFIG_DRV_MMFI2 is not set 217# CONFIG_DRV_UART is not set 218CONFIG_DRV_URDMA=y 219# CONFIG_DRV_USB_ECOS is not set 220# CONFIG_USBHOST is not set 221# CONFIG_DRV_VBI is not set 222# CONFIG_DRV_VE is not set 223# CONFIG_DRV_VIF is not set 224# CONFIG_DRV_WBLE is not set 225# CONFIG_DRV_WDT is not set 226# CONFIG_MSTAR_UTPA2K_WDT_ENABLE is not set 227# CONFIG_MSTAR_WDT_KERNEL_MODE is not set 228# CONFIG_DRV_XC is not set 229CONFIG_DRV_SEAL=y 230# CONFIG_DRV_PQ is not set 231# CONFIG_DRV_PVR_IFRAMELUT is not set 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# 243# CONFIG_API_ACE is not set 244# CONFIG_API_ACP is not set 245CONFIG_API_AUDIO=y 246# CONFIG_AUDIO_UTOPIA_20_ENABLE is not set 247# CONFIG_API_CEC is not set 248# CONFIG_API_DAC is not set 249# CONFIG_API_DLC is not set 250CONFIG_API_DMX=y 251CONFIG_DMX_UTOPIA_20_ENABLE=y 252CONFIG_STC64_ENABLE=y 253CONFIG_VQ_ENABLE=y 254CONFIG_FIVQ_ENABLE=y 255# CONFIG_FQ_ENABLE is not set 256# CONFIG_EXT_FILTER_ENABLE is not set 257# CONFIG_TSP2_ENABLE is not set 258# CONFIG_TSP3_ENABLE is not set 259CONFIG_MMFILEIN_ENABLE=y 260# CONFIG_MMFI3D_ENABLE is not set 261# CONFIG_MMFI2_EXTRA_AUFIFO_ENABLE is not set 262# CONFIG_MOBF_ENABLE is not set 263# CONFIG_MMFIMOBF_ENABLE is not set 264# CONFIG_USE_HWPCR_ENABLE is not set 265# CONFIG_DMX_DEBUG_TABLE_ENABLE is not set 266# CONFIG_TSP3_DULFLT_ENABLE is not set 267# CONFIG_EXTRA_PVR1_FLT_ENABLE is not set 268# CONFIG_TS2_LIVE_ENABLE is not set 269# CONFIG_RASP_SUPPORT is not set 270# CONFIG_TSIO_SUPPORT is not set 271# CONFIG_TSO_SUPPORT is not set 272# CONFIG_TSO_VER_20_SUPPORT is not set 273# CONFIG_TSO_HW_BOX_SERIES is not set 274# CONFIG_MERGE_STREAM_SUPPORT is not set 275# CONFIG_GENERAL_DSCMB_SUPPORT is not set 276# CONFIG_OTV_SUPPORT is not set 277# CONFIG_SECURE_PVR_SUPPORT is not set 278# CONFIG_TSO_PVR_SUPPORT is not set 279# CONFIG_API_DMX_TEE is not set 280# CONFIG_API_GFX is not set 281# CONFIG_API_GOP is not set 282# CONFIG_API_GOPSC is not set 283# CONFIG_API_GOPSCD is not set 284# CONFIG_API_GPD is not set 285# CONFIG_API_HDMITX is not set 286# CONFIG_API_HDMITX2 is not set 287# CONFIG_API_HSL is not set 288# CONFIG_API_JPEG is not set 289# CONFIG_API_JPEG_EX is not set 290# CONFIG_API_MFE is not set 291# CONFIG_API_MFE_EX is not set 292# CONFIG_API_MHL is not set 293# CONFIG_API_NJPEG_EX is not set 294# CONFIG_API_PNL is not set 295CONFIG_API_SWI2C=y 296CONFIG_API_MBX=y 297# CONFIG_MBX_GROUP_PATCH is not set 298# CONFIG_API_VDEC is not set 299# CONFIG_API_VDEC_EX is not set 300CONFIG_API_VDEC_V3=y 301# CONFIG_API_VDEC_LITE is not set 302# CONFIG_API_XC is not set 303 304# 305# Utoipa framework 306# 307CONFIG_UTOPIA_TEE=y 308CONFIG_UTOPIA_DRIVER_STRUCT_PACKED=y 309CONFIG_UTOPIA_FRAMEWORK=y 310# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER is not set 311# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_64BIT is not set 312# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER_32BIT is not set 313# CONFIG_UTOPIA_FRAMEWORK_DISABLE_SYSTEM_V_IPCS is not set 314# CONFIG_UTOPIAXP_PATCH is not set 315CONFIG_UTOPIAXP_CONF_PATH="/applications/utopia.conf" 316# CONFIG_UTOPIA_GARBAGE_COLLECTION is not set 317# CONFIG_UTOPIA_SIZE_CUSTOMER is not set 318# CONFIG_UTOPIA_SHM_EXPAND_SUPPORT is not set 319