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 30CONFIG_CURRY=y 31CONFIG_CHIP="curry" 32 33# 34# Utopia Platform Configuration 35# 36CONFIG_ARM_CA53=y 37# CONFIG_ARM_CA12 is not set 38# CONFIG_ARM_CA9 is not set 39# CONFIG_ARM_CA7 is not set 40# CONFIG_MIPS_4KE is not set 41# CONFIG_MIPS_34K is not set 42# CONFIG_MIPS_74K is not set 43# CONFIG_AEON is not set 44# CONFIG_R2 is not set 45CONFIG_MCU_TYPE="arm_ca53" 46CONFIG_SOFT=y 47# CONFIG_HARD is not set 48CONFIG_FPU="soft" 49CONFIG_NOS=y 50# CONFIG_LINUX is not set 51# CONFIG_ECOS is not set 52# CONFIG_NUTTX is not set 53CONFIG_OS_TYPE="nos" 54CONFIG_TVOS=y 55# CONFIG_ANDROID is not set 56# CONFIG_MBOOT is not set 57# CONFIG_CHAKRA2 is not set 58# CONFIG_PUMABOOT is not set 59CONFIG_EXT_PLATFORM_FLAG="tvos" 60CONFIG_KERN_3_1_10=y 61# CONFIG_KERN_3_10_23 is not set 62CONFIG_KERN_VER="3.1.10" 63# CONFIG_FPGA is not set 64CONFIG_DLMALLOC=y 65# CONFIG_DONT_USE_CMA is not set 66 67# 68# General Setup 69# 70CONFIG_TOOLCHAIN="aarch64-none-elf" 71CONFIG_ENDIAN="mlittle-endian" 72 73# 74# Build Options 75# 76CONFIG_STATIC=y 77# CONFIG_DYNAMIC is not set 78CONFIG_LINK_TYPE="static" 79CONFIG_LIB=y 80# CONFIG_EXE is not set 81# CONFIG_LINT is not set 82CONFIG_MAKE_TYPE="lib" 83# CONFIG_DEBUG is not set 84CONFIG_RETAIL=y 85CONFIG_BLT_TYPE="retail" 86# CONFIG_LEVEL_1 is not set 87# CONFIG_LEVEL_2 is not set 88# CONFIG_LEVEL_3 is not set 89# CONFIG_LEVEL_4 is not set 90CONFIG_LEVEL_5=y 91CONFIG_DEBUG_LEVEL="5" 92CONFIG_FW_TYPE_EXTERNAL=y 93# CONFIG_FW_TYPE_EMBEDDED is not set 94# CONFIG_PURE_SN is not set 95CONFIG_FW_TYPE="external" 96# CONFIG_INCREMENTAL_BUILD is not set 97 98# 99# Utopia Drviver Library Selection 100# 101 102# 103# Utopia Driver Libraries 104# 105# CONFIG_DRV_ACE is not set 106# CONFIG_DRV_AESDMA is not set 107# CONFIG_DRV_AUDIO is not set 108# CONFIG_DRV_AUDSP is not set 109# CONFIG_DRV_AVD is not set 110CONFIG_DRV_BDMA=y 111# CONFIG_DRV_CA2 is not set 112# CONFIG_DRV_CEC is not set 113# CONFIG_DRV_CIPHER is not set 114# CONFIG_DRV_CMDQ is not set 115CONFIG_DRV_CPU=y 116# CONFIG_DRV_CH34 is not set 117# CONFIG_DRV_DAC is not set 118CONFIG_DRV_DDC2BI=y 119# CONFIG_DRV_DEMOD is not set 120# CONFIG_AMAZON is not set 121# CONFIG_DRV_DIP is not set 122# CONFIG_DRV_DLC is not set 123# CONFIG_DRV_DMD is not set 124# CONFIG_DRV_DSCMB is not set 125# CONFIG_DRV_DSCMB2 is not set 126# CONFIG_DRV_MSB1233 is not set 127# CONFIG_DRV_FLASH is not set 128# CONFIG_DRV_GE is not set 129# CONFIG_DRV_GOP is not set 130# CONFIG_DRV_GOPSC is not set 131# CONFIG_DRV_GPD is not set 132# CONFIG_DRV_GPIO is not set 133# CONFIG_DRV_HDMITX is not set 134# CONFIG_DRV_HDMITX2 is not set 135# CONFIG_DRV_HVD is not set 136# CONFIG_DRV_HVD_EX is not set 137# CONFIG_DRV_HVD_V3 is not set 138# CONFIG_DRV_HWI2C is not set 139# CONFIG_DRV_IPAUTH is not set 140# CONFIG_DRV_IR is not set 141CONFIG_DRV_IRQ=y 142# CONFIG_DRV_JPD is not set 143# CONFIG_DRV_JPD_EX is not set 144# CONFIG_DRV_MBX is not set 145# CONFIG_DRV_MFC is not set 146# CONFIG_DRV_MFE is not set 147# CONFIG_DRV_MFE_EX is not set 148# CONFIG_DRV_MHL is not set 149# CONFIG_DRV_MINITSP is not set 150CONFIG_DRV_MIU=y 151# CONFIG_DRV_MMIO is not set 152# CONFIG_DRV_MPIF is not set 153# CONFIG_MSOS is not set 154# CONFIG_INT_SPI_MODE is not set 155# CONFIG_MSFS is not set 156# CONFIG_DRV_MVD is not set 157# CONFIG_DRV_MVD_EX is not set 158# CONFIG_DRV_MVD_V3 is not set 159# CONFIG_DRV_MVOP is not set 160# CONFIG_DRV_MSPI is not set 161# CONFIG_DRV_NSK2 is not set 162# CONFIG_DRV_NJPD_EX is not set 163# CONFIG_DRV_PCMCIA is not set 164# CONFIG_DRV_PM is not set 165# CONFIG_DRV_PNL is not set 166# CONFIG_DRV_PWM is not set 167# CONFIG_DRV_PWS is not set 168# CONFIG_DRV_RASP is not set 169# CONFIG_DRV_RTC is not set 170# CONFIG_DRV_RVD is not set 171# CONFIG_DRV_SAR is not set 172# CONFIG_DRV_SC is not set 173# CONFIG_DRV_SEM is not set 174# CONFIG_DRV_SMBX is not set 175# CONFIG_DRV_STBDC is not set 176# CONFIG_DRV_SYS is not set 177# CONFIG_DRV_TSO is not set 178# CONFIG_DRV_TSP is not set 179# CONFIG_DRV_TSP2 is not set 180# CONFIG_DRV_TSP3 is not set 181# CONFIG_DRV_MMFI is not set 182# CONFIG_DRV_MMFI2 is not set 183# CONFIG_DRV_UART is not set 184# CONFIG_DRV_URDMA is not set 185# CONFIG_DRV_USB_ECOS is not set 186# CONFIG_USBHOST is not set 187# CONFIG_DRV_VBI is not set 188# CONFIG_DRV_VE is not set 189# CONFIG_DRV_VIF is not set 190# CONFIG_DRV_WBLE is not set 191# CONFIG_DRV_WDT is not set 192# CONFIG_DRV_XC is not set 193# CONFIG_DRV_SEAL is not set 194# CONFIG_DRV_LD is not set 195 196# 197# Utopia API Library Selection 198# 199 200# 201# Utopia API Libraries 202# 203# CONFIG_API_ACE is not set 204# CONFIG_API_ACP is not set 205# CONFIG_API_AUDIO is not set 206# CONFIG_API_CEC is not set 207# CONFIG_API_DAC is not set 208# CONFIG_API_DLC is not set 209# CONFIG_API_DMX is not set 210# CONFIG_API_GFX is not set 211# CONFIG_API_GOP is not set 212# CONFIG_API_GOPSC is not set 213# CONFIG_API_GOPSCD is not set 214# CONFIG_API_GPD is not set 215# CONFIG_API_HDMITX is not set 216# CONFIG_API_HDMITX2 is not set 217# CONFIG_API_HSL is not set 218# CONFIG_API_JPEG is not set 219# CONFIG_API_JPEG_EX is not set 220# CONFIG_API_MFE is not set 221# CONFIG_API_MFE_EX is not set 222# CONFIG_API_MHL is not set 223# CONFIG_API_NJPEG_EX is not set 224# CONFIG_API_PNL is not set 225# CONFIG_API_SWI2C is not set 226# CONFIG_API_MBX is not set 227# CONFIG_API_VDEC is not set 228# CONFIG_API_VDEC_EX is not set 229# CONFIG_API_VDEC_V3 is not set 230# CONFIG_API_XC is not set 231# CONFIG_API_LD is not set 232 233# 234# Utoipa framework 235# 236# CONFIG_UTOPIA_TEE is not set 237CONFIG_UTOPIA_FRAMEWORK=y 238# CONFIG_UTOPIA_FRAMEWORK_KERNEL_DRIVER is not set 239