#
# This file is autogenerated: PLEASE DO NOT EDIT IT.
#
# You can use "make menuconfig" to make any modifications to the installed .config file.
# You can then do "make savedefconfig" to generate a new defconfig file that includes your
# modifications.
#
# CONFIG_MMCSD_HAVE_WRITEPROTECT is not set
# CONFIG_MMCSD_IOCSUPPORT is not set
# CONFIG_MMCSD_MMCSUPPORT is not set
CONFIG_ALLOW_BSD_COMPONENTS=y
CONFIG_ARCH="arm64"
CONFIG_ARCH_ADDRENV=y
CONFIG_ARCH_ARM64=y
CONFIG_ARCH_BOARD="imx93-evk"
CONFIG_ARCH_BOARD_IMX93_EVK=y
CONFIG_ARCH_CHIP="imx9"
CONFIG_ARCH_CHIP_IMX93=y
CONFIG_ARCH_CHIP_IMX9=y
CONFIG_ARCH_DATA_NPAGES=0
CONFIG_ARCH_DATA_VBASE=0xC0000000
CONFIG_ARCH_EARLY_PRINT=y
CONFIG_ARCH_HEAP_NPAGES=0
CONFIG_ARCH_HEAP_VBASE=0x00000000
CONFIG_ARCH_INTERRUPTSTACK=4096
CONFIG_ARCH_KERNEL_STACKSIZE=8192
CONFIG_ARCH_KMAP_NPAGES=4096
CONFIG_ARCH_KMAP_VBASE=0xBF000000
CONFIG_ARCH_PGPOOL_MAPPING=y
CONFIG_ARCH_PGPOOL_PBASE=0x82000000
CONFIG_ARCH_PGPOOL_SIZE=94371840
CONFIG_ARCH_PGPOOL_VBASE=0x82000000
CONFIG_ARCH_SHM_NPAGES=4096
CONFIG_ARCH_SHM_VBASE=0xFF000000
CONFIG_ARCH_TEXT_NPAGES=0
CONFIG_ARCH_TEXT_VBASE=0x00000000
CONFIG_ARCH_USE_MMU=y
CONFIG_ARM64_STRING_FUNCTION=y
CONFIG_BCH_BUFFER_ALIGNMENT=64
CONFIG_BOARD_LATE_INITIALIZE=y
CONFIG_BOARD_LOOPSPERMSEC=241712
CONFIG_BUILD_KERNEL=y
CONFIG_CDCACM=y
CONFIG_DEBUG_ASSERTIONS=y
CONFIG_DEBUG_FEATURES=y
CONFIG_DEBUG_FULLOPT=y
CONFIG_DEBUG_SYMBOLS=y
CONFIG_DEFAULT_TASK_STACKSIZE=32384
CONFIG_DEV_OPTEE_SMC=y
CONFIG_DISABLE_MQUEUE=y
CONFIG_DRIVERS_NOTE=y
CONFIG_ELF=y
CONFIG_ELF_STACKSIZE=4096
CONFIG_ETH0_PHY_MULTI=y
CONFIG_EXAMPLES_HELLO=y
CONFIG_EXAMPLES_TCPBLASTER=y
CONFIG_EXAMPLES_UDPBLASTER=y
CONFIG_EXPERIMENTAL=y
CONFIG_FAT_DMAMEMORY=y
CONFIG_FS_FAT=y
CONFIG_FS_FATTIME=y
CONFIG_FS_PROCFS=y
CONFIG_FS_ROMFS=y
CONFIG_FS_SHMFS=y
CONFIG_GPT_PARTITION=y
CONFIG_HAVE_CXX=y
CONFIG_HAVE_CXXINITIALIZE=y
CONFIG_I2C=y
CONFIG_I2C_RESET=y
CONFIG_IDLETHREAD_STACKSIZE=8192
CONFIG_IMX9_BIN_ROMFS=y
CONFIG_IMX9_DMA_ALLOC=y
CONFIG_IMX9_DMA_ALLOC_POOL_SIZE=81920
CONFIG_IMX9_EDMA=y
CONFIG_IMX9_ENET1_RGMII=y
CONFIG_IMX9_ENET1_RGMII_ID=y
CONFIG_IMX9_ENET=y
CONFIG_IMX9_ENET_USE_OTP_MAC=y
CONFIG_IMX9_FLEXIO1_PWM=y
CONFIG_IMX9_GPIO_IRQ=y
CONFIG_IMX9_LPI2C1=y
CONFIG_IMX9_LPI2C1_DMA=y
CONFIG_IMX9_LPI2C_DMA=y
CONFIG_IMX9_LPI2C_DYNTIMEO=y
CONFIG_IMX9_LPI2C_DYNTIMEO_STARTSTOP=10
CONFIG_IMX9_LPSPI6=y
CONFIG_IMX9_LPSPI6_DMA=y
CONFIG_IMX9_LPSPI_DMA=y
CONFIG_IMX9_LPUART1=y
CONFIG_IMX9_TPM3_PWM=y
CONFIG_IMX9_TPM3_PWM_CHMUX=0x00000003
CONFIG_IMX9_USBDEV_USBC1=y
CONFIG_IMX9_USDHC2=y
CONFIG_IMX9_USDHC2_INVERT_CD=y
CONFIG_INIT_MOUNT=y
CONFIG_INTELHEX_BINARY=y
CONFIG_LIBC_ENVPATH=y
CONFIG_LIBC_EXECFUNCS=y
CONFIG_LIBC_MAX_EXITFUNS=16
CONFIG_LIBC_STRERROR=y
CONFIG_LIBC_USRWORK=y
CONFIG_LIBC_USRWORKSTACKSIZE=4096
CONFIG_LPUART1_SERIAL_CONSOLE=y
CONFIG_MMCSD=y
CONFIG_MMCSD_SDIO=y
CONFIG_MM_KMAP=y
CONFIG_MM_PGALLOC=y
CONFIG_NAME_MAX=64
CONFIG_NDEBUG=y
CONFIG_NET=y
CONFIG_NETDB_DNSCLIENT=y
CONFIG_NETDEV_IFINDEX=y
CONFIG_NETDEV_PHY_IOCTL=y
CONFIG_NETDEV_WORK_THREAD=y
CONFIG_NETDEV_WORK_THREAD_PRIORITY=180
CONFIG_NET_ARP_IPIN=y
CONFIG_NET_BROADCAST=y
CONFIG_NET_ETH_PKTSIZE=1478
CONFIG_NET_ICMP_SOCKET=y
CONFIG_NET_LOCAL=y
CONFIG_NET_TCP=y
CONFIG_NET_TCP_DELAYED_ACK=y
CONFIG_NET_TCP_NOTIFIER=y
CONFIG_NET_TIMESTAMP=y
CONFIG_NET_UDP=y
CONFIG_NET_UDP_CHECKSUMS=y
CONFIG_NET_UDP_NOTIFIER=y
CONFIG_NSH_ARCHINIT=y
CONFIG_NSH_DISABLE_DMESG=y
CONFIG_NSH_DISABLE_EXIT=y
CONFIG_NSH_FILEIOSIZE=512
CONFIG_NSH_FILE_APPS=y
CONFIG_NSH_PROMPT_STRING="knsh> "
CONFIG_NSH_READLINE=y
CONFIG_NSH_STRERROR=y
CONFIG_NSH_VARS=y
CONFIG_PATH_INITIAL="/bin"
CONFIG_PRIORITY_INHERITANCE=y
CONFIG_PSEUDOFS_SOFTLINKS=y
CONFIG_PTHREAD_STACK_MIN=1024
CONFIG_PWM=y
CONFIG_PWM_NCHANNELS=4
CONFIG_RAMLOG=y
CONFIG_RAM_SIZE=31457280
CONFIG_RAM_START=0x80200000
CONFIG_RAM_VSTART=0x80200000
CONFIG_RAW_BINARY=y
CONFIG_READLINE_CMD_HISTORY=y
CONFIG_READLINE_TABCOMPLETION=y
CONFIG_RR_INTERVAL=200
CONFIG_SCHED_CHILD_STATUS=y
CONFIG_SCHED_HAVE_PARENT=y
CONFIG_SCHED_HPWORK=y
CONFIG_SCHED_INSTRUMENTATION=y
CONFIG_SCHED_INSTRUMENTATION_SWITCH=y
CONFIG_SCHED_LPNTHREADS=2
CONFIG_SCHED_LPWORK=y
CONFIG_SCHED_LPWORKPRIORITY=50
CONFIG_SCHED_LPWORKSTACKSIZE=4096
CONFIG_SCHED_WAITPID=y
CONFIG_SDIO_BLOCKSETUP=y
CONFIG_SEM_PREALLOCHOLDERS=32
CONFIG_SERIAL_NPOLLWAITERS=2
CONFIG_SERIAL_TERMIOS=y
CONFIG_SIG_DEFAULT=y
CONFIG_SIG_SIGALRM_ACTION=y
CONFIG_SIG_SIGUSR1_ACTION=y
CONFIG_SIG_SIGUSR2_ACTION=y
CONFIG_STACK_COLORATION=y
CONFIG_START_MONTH=3
CONFIG_START_YEAR=2022
CONFIG_SYMTAB_ORDEREDBYNAME=y
CONFIG_SYSTEM_CDCACM=y
CONFIG_SYSTEM_I2CTOOL=y
CONFIG_SYSTEM_NSH=y
CONFIG_SYSTEM_NSH_PROGNAME="init"
CONFIG_SYSTEM_PING=y
CONFIG_SYSTEM_TIME64=y
CONFIG_TASK_NAME_SIZE=24
CONFIG_TLS_LOG2_MAXSTACK=15
