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