update tutorial defconfig

configs/tutorial_defconfig

+#
+# Automatically generated file; DO NOT EDIT.
+# NEMU Configuration Menu
+#
+# CONFIG_ISA_x86 is not set
+# CONFIG_ISA_mips32 is not set
+# CONFIG_ISA_riscv32 is not set
+CONFIG_ISA_riscv64=y
+CONFIG_ISA="riscv64"
+CONFIG_ILEN_MIN=2
+CONFIG_ISA64=y
+
+#
+# ISA-dependent Options for riscv64
+#
+CONFIG_CLINT_MMIO=0x38000000
+# CONFIG_MULTICORE_DIFF is not set
+CONFIG_RVB=y
+CONFIG_RVK=y
+# CONFIG_RVV is not set
+CONFIG_RV_SVINVAL=y
+# end of ISA-dependent Options for riscv64
+
+CONFIG_ENGINE_INTERPRETER=y
+CONFIG_ENGINE="interpreter"
+CONFIG_MODE_SYSTEM=y
+# CONFIG_MODE_USER is not set
+
+#
+# Build Options
+#
+CONFIG_CC_GCC=y
+# CONFIG_CC_GPP is not set
+# CONFIG_CC_CLANG is not set
+CONFIG_CC="gcc"
+# CONFIG_CC_O0 is not set
+# CONFIG_CC_O1 is not set
+CONFIG_CC_O2=y
+# CONFIG_CC_O3 is not set
+CONFIG_CC_OPT="-O2"
+CONFIG_CC_LTO=y
+# CONFIG_CC_DEBUG is not set
+# CONFIG_CC_ASAN is not set
+# end of Build Options
+
+#
+# Testing and Debugging
+#
+# CONFIG_DEBUG is not set
+# CONFIG_DIFFTEST is not set
+CONFIG_DIFFTEST_REF_PATH="none"
+CONFIG_DIFFTEST_REF_NAME="none"
+# CONFIG_DETERMINISTIC is not set
+# CONFIG_IQUEUE is not set
+# CONFIG_MEMLOG is not set
+# CONFIG_TRANSLOG is not set
+# CONFIG_EXITLOG is not set
+# CONFIG_TRACE_INST is not set
+# CONFIG_TRACE_BB is not set
+# end of Testing and Debugging
+
+#
+# Memory Configuration
+#
+CONFIG_MBASE=0x80000000
+CONFIG_MSIZE=0x200000000
+CONFIG_BBL_OFFSET_WITH_CPT=0xa0000
+# CONFIG_RESET_FROM_MMIO is not set
+CONFIG_PC_RESET_OFFSET=0x0
+CONFIG_USE_MMAP=y
+# CONFIG_MEM_RANDOM is not set
+CONFIG_MEM_COMPRESS=y
+# end of Memory Configuration
+
+CONFIG_DEVICE=y
+CONFIG_HAS_PORT_IO=y
+# CONFIG_HAS_SERIAL is not set
+CONFIG_HAS_UARTLITE=y
+CONFIG_UARTLITE_PORT=0x3f8
+CONFIG_UARTLITE_MMIO=0x40600000
+# CONFIG_UARTLITE_INPUT_FIFO is not set
+CONFIG_HAS_TIMER=y
+CONFIG_RTC_PORT=0x48
+CONFIG_RTC_MMIO=0xa1000048
+CONFIG_HAS_KEYBOARD=y
+CONFIG_I8042_DATA_PORT=0x60
+CONFIG_I8042_DATA_MMIO=0xa1000060
+CONFIG_HAS_VGA=y
+CONFIG_FB_ADDR=0x50000000
+CONFIG_VGA_CTL_PORT=0x100
+CONFIG_VGA_CTL_MMIO=0x40001000
+CONFIG_VGA_SHOW_SCREEN=n
+CONFIG_VGA_SIZE_400x300=y
+# CONFIG_VGA_SIZE_800x600 is not set
+# CONFIG_HAS_AUDIO is not set
+# CONFIG_HAS_DISK is not set
+CONFIG_HAS_SDCARD=y
+CONFIG_SDCARD_CTL_MMIO=0x40002000
+CONFIG_SDCARD_IMG_PATH=""
+# CONFIG_HAS_FLASH is not set
+# CONFIG_FPU_HOST is not set
+CONFIG_FPU_SOFT=y
+# CONFIG_FPU_NONE is not set
+# CONFIG_AC_HOST is not set
+CONFIG_AC_SOFT=y
+# CONFIG_AC_NONE is not set
+
+#
+# Processor difftest reference config
+#
+# CONFIG_SHARE is not set
+# end of Processor difftest reference config
+
+#
+# Miscellaneous
+#
+CONFIG_TIMER_GETTIMEOFDAY=y
+# CONFIG_TIMER_CLOCK_GETTIME is not set
+CONFIG_RT_CHECK=y
+CONFIG_PERF_OPT=y
+CONFIG_TCACHE_SIZE=8192
+CONFIG_BB_LIST_SIZE=1024
+CONFIG_BB_POOL_SIZE=1024
+# CONFIG_DISABLE_INSTR_CNT is not set
+CONFIG_ENABLE_INSTR_CNT=y
+# end of Miscellaneous