xinyangli
4c540bd109
All checks were successful
Build abstract machine with nix / build-packages (abstract-machine) (push) Successful in 9s
Build abstract machine with nix / build-packages (nemu) (push) Successful in 20s
Build abstract machine with nix / build-packages (nemu-lib) (push) Successful in 9s
Build abstract machine with nix / build-packages (rv32Cross.abstract-machine) (push) Successful in 8s
Build npc tests / npc-build (flow) (push) Successful in 8s
Build npc tests / npc-build (flow-simlib) (push) Successful in 9s
87 lines
1.8 KiB
Text
87 lines
1.8 KiB
Text
#
|
|
# 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 is not set
|
|
CONFIG_TARGET_SHARE=y
|
|
# 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 is not set
|
|
# end of Build Options
|
|
|
|
#
|
|
# Testing and Debugging
|
|
#
|
|
CONFIG_LOG_TRACE=y
|
|
# CONFIG_LOG_INFO is not set
|
|
# CONFIG_LOG_WARNING is not set
|
|
# CONFIG_LOG_ERROR is not set
|
|
CONFIG_LOG_LEVEL=4
|
|
CONFIG_TRACE=y
|
|
CONFIG_TRACE_START=0
|
|
CONFIG_TRACE_END=10000
|
|
# CONFIG_MTRACE 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=y
|
|
CONFIG_HAS_SERIAL=y
|
|
CONFIG_SERIAL_MMIO=0x10000000
|
|
# CONFIG_SERIAL_INPUT_FIFO is not set
|
|
CONFIG_HAS_TIMER=y
|
|
CONFIG_RTC_MMIO=0x10001000
|
|
# 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
|
|
|
|
#
|
|
# Miscellaneous
|
|
#
|
|
CONFIG_TIMER_GETTIMEOFDAY=y
|
|
# CONFIG_TIMER_CLOCK_GETTIME is not set
|
|
CONFIG_RT_CHECK=y
|
|
# end of Miscellaneous
|