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