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