# CONFIG_PREEMPT is not set
# CONFIG_MULTIUSER is not set
# CONFIG_TIMERFD is not set
CONFIG_SET_MEM_PARAM=y
CONFIG_DRAM_BASE=0xC0000000
CONFIG_DRAM_SIZE=0x01000000
# CONFIG_GCC_PLUGINS is not set
# CONFIG_XIP_KERNEL is not set
# CONFIG_BLK_DEV is not set
# CONFIG_COMPAT_BRK is not set
# CONFIG_PROC_SYSCTL is not set
# CONFIG_CRYPTO is not set
CONFIG_RCU_TRACE=y