-
Notifications
You must be signed in to change notification settings - Fork 1
/
.config
133 lines (125 loc) · 2.93 KB
/
.config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
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=0x2000000
# CONFIG_MULTICORE_DIFF is not set
CONFIG_RVB=y
CONFIG_RVK=y
# CONFIG_RVV_010 is not set
CONFIG_RV_PMP_CSR=y
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_BETA_LOG is not set
# CONFIG_TRACE_BB is not set
# CONFIG_MEMPROF_LOG is not set
# CONFIG_CTRLPROF_LOG is not set
# CONFIG_SIMPOINT_LOG is not set
# end of Testing and Debugging
#
# Memory Configuration
#
CONFIG_MBASE=0x800a0000
CONFIG_MSIZE=0x50000000
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=0x20100000
# 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=0xa0000000
CONFIG_VGA_CTL_PORT=0x100
CONFIG_VGA_CTL_MMIO=0xa1000100
CONFIG_VGA_SHOW_SCREEN=y
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=0xa3000000
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
# CONFIG_GEN_TRACE is not set
# CONFIG_DATAFLOW_PROF is not set
# end of Miscellaneous