Update nutshell config

.github/workflows/ci.yml

@@ -7,7 +7,8 @@ on:
     branches: [ master ]
 
 jobs:
-  basic-tests:
+
+  basic-tests-xs:
     runs-on: nemu
     continue-on-error: false
     timeout-minutes: 10
@@ -17,8 +18,7 @@ jobs:
       - name: Setup env
         run: |
           echo "NEMU_HOME=$GITHUB_WORKSPACE" >> $GITHUB_ENV
-          echo "TEST_HOME=/nfs/home/share/ci-workloads/H-extension-tests" >> $GITHUB_ENV
-      - name: Build NEMU interpreter
+      - name: Build NEMU interpreter for XS
         run: |
           make riscv64-xs_defconfig
           make -j
@@ -48,6 +48,32 @@ jobs:
           make riscv64-dual-xs-ref_defconfig
           make -j
           make clean-all
+
+  basic-tests-nutshell:
+    runs-on: nemu
+    continue-on-error: false
+    timeout-minutes: 10
+    name: nemu - Basics
+    steps:
+      - uses: actions/checkout@v2
+      - name: Setup env
+        run: |
+          echo "NEMU_HOME=$GITHUB_WORKSPACE" >> $GITHUB_ENV
+      - name: Build NEMU interpreter
+        run: |
+          make riscv64-nutshell_defconfig
+          make -j
+      - name: test boot linux
+        run: |
+          git submodule update --init ready-to-run
+          ./build/riscv64-nemu-interpreter -b ./ready-to-run/linux.bin
+          make clean-all
+      - name: Build NEMU as difftest ref
+        run: |
+          make riscv64-nutshell-ref_defconfig
+          make -j
+          make clean-all
+
   H-ext-tests:
     runs-on: nemu
     continue-on-error: false
@@ -60,7 +86,7 @@ jobs:
           echo "NEMU_HOME=$GITHUB_WORKSPACE" >> $GITHUB_ENV
           echo "TEST_HOME=/nfs/home/share/ci-workloads/H-extension-tests" >> $GITHUB_ENV
       - name: Build NEMU with H extension as difftest ref
-        run: | 
+        run: |
           make riscv64-rvh-ref_defconfig
           make clean-all
       - name: Run Xvisor
@@ -88,4 +114,4 @@ jobs:
       #     make riscv64-rvh-diff-spike_defconfig
       #     make -j
       #     ./build/riscv64-nemu-interpreter -b -d $TEST_HOME/riscv64-spike-H-ext-so $TEST_HOME/kvm
-      #     make clean-all
+      #     make clean-all

configs/riscv64-nutshell_defconfig

@@ -0,0 +1,133 @@
+#
+# 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 is not set
+# CONFIG_RVK is not set
+# CONFIG_RVV is not set
+# CONFIG_RV_DEBUG is not set
+# CONFIG_RVH is not set
+CONFIG_RV_PMP_CSR=y
+CONFIG_RV_PMP_NUM=4
+# CONFIG_RV_SVINVAL is not set
+CONFIG_MISA_UNCHANGEABLE=y
+CONFIG_XTVEC_VECTORED_MODE=y
+# CONFIG_TVAL_EX_II is not set
+CONFIG_FS_CLEAN_STATE=y
+# CONFIG_RV_ARCH_CSRS is not set
+# 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 is not set
+# 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=0x80000000
+CONFIG_PADDRBITS=32
+# CONFIG_STORE_LOG is not set
+# CONFIG_BR_LOG is not set
+CONFIG_BBL_OFFSET_WITH_CPT=0xa0000
+CONFIG_RESET_FROM_MMIO=y
+CONFIG_PC_RESET_OFFSET=0x0
+CONFIG_MMIO_RESET_VECTOR=0x10000000
+CONFIG_USE_MMAP=y
+# CONFIG_MEM_RANDOM is not set
+# CONFIG_MEM_COMPRESS is not set
+# end of Memory Configuration
+
+CONFIG_DEVICE=y
+CONFIG_HAS_PORT_IO=y
+# CONFIG_HAS_SERIAL is not set
+CONFIG_HAS_UARTLITE=y
+# CONFIG_HAS_UART_SNPS is not set
+# CONFIG_HAS_PLIC is not set
+CONFIG_UARTLITE_PORT=0x3f8
+CONFIG_UARTLITE_MMIO=0x40600000
+# CONFIG_UARTLITE_INPUT_FIFO is not set
+# CONFIG_UARTLITE_ASSERT_FOUR is not set
+CONFIG_HAS_TIMER=y
+CONFIG_RTC_PORT=0x48
+CONFIG_RTC_MMIO=0xa1000048
+# CONFIG_HAS_KEYBOARD is not set
+# CONFIG_HAS_VGA is not set
+# CONFIG_HAS_AUDIO is not set
+# CONFIG_HAS_DISK is not set
+# CONFIG_HAS_SDCARD is not set
+# CONFIG_HAS_FLASH is not set
+# CONFIG_FPU_HOST is not set
+# CONFIG_FPU_SOFT is not set
+CONFIG_FPU_NONE=y
+# 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_REPORT_ILLEGAL_INSTR=y
+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=y
+CONFIG_ENABLE_INSTR_CNT=y
+# end of Miscellaneous