-
Notifications
You must be signed in to change notification settings - Fork 6
/
test.vm.ini
71 lines (62 loc) · 1.93 KB
/
test.vm.ini
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
; This is the config to boot a vm.
[image]
name = test.guest
; image path, alway required.
;path = guest/guest.rv32.img
kernel = /root/workspace/riscv-pk-master/build/bbl.img
; type must be in [binary, elf], required, no default value
;type = binary
; the memory start to load the image into. if type == binary, load_offset must be provided.
; it must be in hexadecimal
kernel_load_base = 0x80000000
; the boot argument delivered to Linux kernel
; earlycon or console must be specified here
bootarg = console=uart8250,mmio,0x10000000
; init ramdisk arguments.
initrd = /root/workspace/busybox-1.31.1/initrd.cpio
initrd_load_base = 0x84000000
[rom]
rom_image = bootrom/bootrom.rv32.img
rom_start = 0x1000
rom_size = 0x1000000
[cpu]
; number of cpus, always required.
nr_cpus = 1
; the cpu index as the primary cpu to boot: optional, default:0
boot_cpu = 0
; the program counter will be set to the value when the hart is reset or poweron
; also the rom image will be loaded to the address
pc_on_reset = 0x4000
; the Core Local Interrupt Controller which generates and delivers machine
; and supervisor timer interrupts to HLIC
clint_base = 0x02000000
clint_size = 0x00010000
; the capacity of TLB, MUST BE POWER OF 2, and 16K is quite enough.
itlb_size = 0x4000
dtlb_size = 0x4000
[mem]
; required
; in hexadecimal
main_memory_start = 0x80000000
; required
; in decimal
main_memory_size_in_mega = 1024
[misc]
; dump the device tree blob, optional
dump_dtb = ./zelda.dtb
[debug]
; the log verbosity is an integer.
;LOG_TRACE = 0, LOG_DEBUG = 1, LOG_INFO = 2, LOG_WARN = 3, LOG_ERROR = 4,
;LOG_FATAL = 5, LOG_UART = 6
verbosity = 2
; initial breakpoints, optional.
;breakpoints = c011de8c
;breakpoints = c0031e00
;breakpoints = c00d0a9c
;breakpoints = c0089f68
;breakpoints = c0089658
;breakpoints = 0xc0002aac, 0xc000012c, 0xc0000130
;breakpoints = 0xc00000d0
;breakpoints = 0x80400138, 0x80400134
;breakpoints = 0x8040011c
;breakpoints = 0x80000040 0x80000044