diff --git a/nemu/.config b/nemu/.config new file mode 100644 index 0000000..aa26803 --- /dev/null +++ b/nemu/.config @@ -0,0 +1,74 @@ +# +# Automatically generated file; DO NOT EDIT. +# NEMU Configuration Menu +# +# CONFIG_ISA_x86 is not set +# CONFIG_ISA_mips32 is not set +CONFIG_ISA_riscv=y +# CONFIG_ISA_loongarch32r is not set +CONFIG_ISA="riscv32" + +# +# ISA-dependent Options for riscv +# +# CONFIG_RV64 is not set +# CONFIG_RVE is not set +# end of ISA-dependent Options for riscv + +CONFIG_ENGINE_INTERPRETER=y +CONFIG_ENGINE="interpreter" +CONFIG_MODE_SYSTEM=y +CONFIG_TARGET_NATIVE_ELF=y +# CONFIG_TARGET_SHARE is not set +# CONFIG_TARGET_AM 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=y +# end of Build Options + +# +# Testing and Debugging +# +CONFIG_TRACE=y +CONFIG_TRACE_START=0 +CONFIG_TRACE_END=10000 +CONFIG_ITRACE=y +CONFIG_ITRACE_COND="true" +# CONFIG_DIFFTEST is not set +CONFIG_DIFFTEST_REF_PATH="none" +CONFIG_DIFFTEST_REF_NAME="none" +# end of Testing and Debugging + +# +# Memory Configuration +# +CONFIG_MBASE=0x80000000 +CONFIG_MSIZE=0x8000000 +CONFIG_PC_RESET_OFFSET=0 +# CONFIG_PMEM_MALLOC is not set +CONFIG_PMEM_GARRAY=y +CONFIG_MEM_RANDOM=y +# end of Memory Configuration + +# CONFIG_DEVICE is not set + +# +# Miscellaneous +# +CONFIG_TIMER_GETTIMEOFDAY=y +# CONFIG_TIMER_CLOCK_GETTIME is not set +CONFIG_RT_CHECK=y +# end of Miscellaneous diff --git a/nemu/flake.nix b/nemu/flake.nix index 325421f..e70f447 100644 --- a/nemu/flake.nix +++ b/nemu/flake.nix @@ -54,7 +54,13 @@ echo NEMU_HOME=$NEMU_HOME echo pwd=$(pwd) mkdir -p $(pwd)/kconfig - WORK_DIR=$(pwd) obj=$(pwd)/kconfig make --trace -e -f scripts/config.mk WORK_DIR=$(pwd) obj=$(pwd)/kconfig rv32_defconfig + ''; + # WORK_DIR=$(pwd) obj=$(pwd)/kconfig make --trace -e -f scripts/config.mk WORK_DIR=$(pwd) obj=$(pwd)/kconfig rv32_defconfig + + buildPhase = '' + mkdir -p $out + ls $out + BUILD_DIR=$out make --trace ''; installPhase = '' diff --git a/nemu/tools/kconfig/Makefile b/nemu/tools/kconfig/Makefile index d853482..e29b038 100644 --- a/nemu/tools/kconfig/Makefile +++ b/nemu/tools/kconfig/Makefile @@ -32,6 +32,7 @@ $(obj)/parser.tab.c $(obj)/parser.tab.h: parser.y @bison -v $< --defines=$(obj)/parser.tab.h -o $(obj)/parser.tab.c conf: + @ldconfig -v @$(MAKE) -s mconf: