xref: /qemu/hw/riscv/spike.c (revision 5f3616ccceb5d5c49f99838c78498e581fb42fc5)
15b4beba1SMichael Clark /*
25b4beba1SMichael Clark  * QEMU RISC-V Spike Board
35b4beba1SMichael Clark  *
45b4beba1SMichael Clark  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
55b4beba1SMichael Clark  * Copyright (c) 2017-2018 SiFive, Inc.
65b4beba1SMichael Clark  *
75b4beba1SMichael Clark  * This provides a RISC-V Board with the following devices:
85b4beba1SMichael Clark  *
95b4beba1SMichael Clark  * 0) HTIF Console and Poweroff
105b4beba1SMichael Clark  * 1) CLINT (Timer and IPI)
115b4beba1SMichael Clark  * 2) PLIC (Platform Level Interrupt Controller)
125b4beba1SMichael Clark  *
135b4beba1SMichael Clark  * This program is free software; you can redistribute it and/or modify it
145b4beba1SMichael Clark  * under the terms and conditions of the GNU General Public License,
155b4beba1SMichael Clark  * version 2 or later, as published by the Free Software Foundation.
165b4beba1SMichael Clark  *
175b4beba1SMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
185b4beba1SMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
195b4beba1SMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
205b4beba1SMichael Clark  * more details.
215b4beba1SMichael Clark  *
225b4beba1SMichael Clark  * You should have received a copy of the GNU General Public License along with
235b4beba1SMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
245b4beba1SMichael Clark  */
255b4beba1SMichael Clark 
265b4beba1SMichael Clark #include "qemu/osdep.h"
275b4beba1SMichael Clark #include "qemu/log.h"
285b4beba1SMichael Clark #include "qemu/error-report.h"
295b4beba1SMichael Clark #include "qapi/error.h"
305b4beba1SMichael Clark #include "hw/boards.h"
315b4beba1SMichael Clark #include "hw/loader.h"
325b4beba1SMichael Clark #include "hw/sysbus.h"
335b4beba1SMichael Clark #include "target/riscv/cpu.h"
345b4beba1SMichael Clark #include "hw/riscv/riscv_htif.h"
355b4beba1SMichael Clark #include "hw/riscv/riscv_hart.h"
365b4beba1SMichael Clark #include "hw/riscv/sifive_clint.h"
375b4beba1SMichael Clark #include "hw/riscv/spike.h"
380ac24d56SAlistair Francis #include "hw/riscv/boot.h"
395b4beba1SMichael Clark #include "chardev/char.h"
405b4beba1SMichael Clark #include "sysemu/arch_init.h"
415b4beba1SMichael Clark #include "sysemu/device_tree.h"
42cd69e3a6SAlistair Francis #include "sysemu/qtest.h"
4346517dd4SMarkus Armbruster #include "sysemu/sysemu.h"
445b4beba1SMichael Clark #include "exec/address-spaces.h"
455b4beba1SMichael Clark 
465aec3247SMichael Clark #include <libfdt.h>
475aec3247SMichael Clark 
485b4beba1SMichael Clark static const struct MemmapEntry {
495b4beba1SMichael Clark     hwaddr base;
505b4beba1SMichael Clark     hwaddr size;
515b4beba1SMichael Clark } spike_memmap[] = {
525aec3247SMichael Clark     [SPIKE_MROM] =     {     0x1000,    0x11000 },
535b4beba1SMichael Clark     [SPIKE_CLINT] =    {  0x2000000,    0x10000 },
545b4beba1SMichael Clark     [SPIKE_DRAM] =     { 0x80000000,        0x0 },
555b4beba1SMichael Clark };
565b4beba1SMichael Clark 
575b4beba1SMichael Clark static void create_fdt(SpikeState *s, const struct MemmapEntry *memmap,
585b4beba1SMichael Clark     uint64_t mem_size, const char *cmdline)
595b4beba1SMichael Clark {
605b4beba1SMichael Clark     void *fdt;
615b4beba1SMichael Clark     int cpu;
625b4beba1SMichael Clark     uint32_t *cells;
635b4beba1SMichael Clark     char *nodename;
645b4beba1SMichael Clark 
655b4beba1SMichael Clark     fdt = s->fdt = create_device_tree(&s->fdt_size);
665b4beba1SMichael Clark     if (!fdt) {
675b4beba1SMichael Clark         error_report("create_device_tree() failed");
685b4beba1SMichael Clark         exit(1);
695b4beba1SMichael Clark     }
705b4beba1SMichael Clark 
715b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "model", "ucbbar,spike-bare,qemu");
725b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "compatible", "ucbbar,spike-bare-dev");
735b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#size-cells", 0x2);
745b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#address-cells", 0x2);
755b4beba1SMichael Clark 
765b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/htif");
775b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/htif", "compatible", "ucb,htif0");
785b4beba1SMichael Clark 
795b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/soc");
805b4beba1SMichael Clark     qemu_fdt_setprop(fdt, "/soc", "ranges", NULL, 0);
81117caacfSAlistair Francis     qemu_fdt_setprop_string(fdt, "/soc", "compatible", "simple-bus");
825b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#size-cells", 0x2);
835b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#address-cells", 0x2);
845b4beba1SMichael Clark 
855b4beba1SMichael Clark     nodename = g_strdup_printf("/memory@%lx",
865b4beba1SMichael Clark         (long)memmap[SPIKE_DRAM].base);
875b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, nodename);
885b4beba1SMichael Clark     qemu_fdt_setprop_cells(fdt, nodename, "reg",
895b4beba1SMichael Clark         memmap[SPIKE_DRAM].base >> 32, memmap[SPIKE_DRAM].base,
905b4beba1SMichael Clark         mem_size >> 32, mem_size);
915b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, nodename, "device_type", "memory");
925b4beba1SMichael Clark     g_free(nodename);
935b4beba1SMichael Clark 
945b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/cpus");
952a8756edSMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "timebase-frequency",
962a8756edSMichael Clark         SIFIVE_CLINT_TIMEBASE_FREQ);
975b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#size-cells", 0x0);
985b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#address-cells", 0x1);
995b4beba1SMichael Clark 
1005b4beba1SMichael Clark     for (cpu = s->soc.num_harts - 1; cpu >= 0; cpu--) {
1015b4beba1SMichael Clark         nodename = g_strdup_printf("/cpus/cpu@%d", cpu);
1025b4beba1SMichael Clark         char *intc = g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu);
1035b4beba1SMichael Clark         char *isa = riscv_isa_string(&s->soc.harts[cpu]);
1045b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, nodename);
1055b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "mmu-type", "riscv,sv48");
1065b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "riscv,isa", isa);
1075b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv");
1085b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "status", "okay");
1095b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, nodename, "reg", cpu);
1105b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "device_type", "cpu");
1115b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, intc);
1125b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, intc, "phandle", 1);
1135b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, intc, "compatible", "riscv,cpu-intc");
1145b4beba1SMichael Clark         qemu_fdt_setprop(fdt, intc, "interrupt-controller", NULL, 0);
1155b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, intc, "#interrupt-cells", 1);
1165b4beba1SMichael Clark         g_free(isa);
1175b4beba1SMichael Clark         g_free(intc);
1185b4beba1SMichael Clark         g_free(nodename);
1195b4beba1SMichael Clark     }
1205b4beba1SMichael Clark 
1215b4beba1SMichael Clark     cells =  g_new0(uint32_t, s->soc.num_harts * 4);
1225b4beba1SMichael Clark     for (cpu = 0; cpu < s->soc.num_harts; cpu++) {
1235b4beba1SMichael Clark         nodename =
1245b4beba1SMichael Clark             g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu);
1255b4beba1SMichael Clark         uint32_t intc_phandle = qemu_fdt_get_phandle(fdt, nodename);
1265b4beba1SMichael Clark         cells[cpu * 4 + 0] = cpu_to_be32(intc_phandle);
1275b4beba1SMichael Clark         cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT);
1285b4beba1SMichael Clark         cells[cpu * 4 + 2] = cpu_to_be32(intc_phandle);
1295b4beba1SMichael Clark         cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER);
1305b4beba1SMichael Clark         g_free(nodename);
1315b4beba1SMichael Clark     }
1325b4beba1SMichael Clark     nodename = g_strdup_printf("/soc/clint@%lx",
1335b4beba1SMichael Clark         (long)memmap[SPIKE_CLINT].base);
1345b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, nodename);
1355b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv,clint0");
1365b4beba1SMichael Clark     qemu_fdt_setprop_cells(fdt, nodename, "reg",
1375b4beba1SMichael Clark         0x0, memmap[SPIKE_CLINT].base,
1385b4beba1SMichael Clark         0x0, memmap[SPIKE_CLINT].size);
1395b4beba1SMichael Clark     qemu_fdt_setprop(fdt, nodename, "interrupts-extended",
1405b4beba1SMichael Clark         cells, s->soc.num_harts * sizeof(uint32_t) * 4);
1415b4beba1SMichael Clark     g_free(cells);
1425b4beba1SMichael Clark     g_free(nodename);
1435b4beba1SMichael Clark 
1447c28f4daSMichael Clark     if (cmdline) {
1455b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, "/chosen");
1465b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", cmdline);
1475b4beba1SMichael Clark     }
1487c28f4daSMichael Clark }
1495b4beba1SMichael Clark 
150cd69e3a6SAlistair Francis static void spike_board_init(MachineState *machine)
151cd69e3a6SAlistair Francis {
152cd69e3a6SAlistair Francis     const struct MemmapEntry *memmap = spike_memmap;
153cd69e3a6SAlistair Francis 
154cd69e3a6SAlistair Francis     SpikeState *s = g_new0(SpikeState, 1);
155cd69e3a6SAlistair Francis     MemoryRegion *system_memory = get_system_memory();
156cd69e3a6SAlistair Francis     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
157cd69e3a6SAlistair Francis     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
158cd69e3a6SAlistair Francis     int i;
159c4473127SLike Xu     unsigned int smp_cpus = machine->smp.cpus;
160cd69e3a6SAlistair Francis 
161cd69e3a6SAlistair Francis     /* Initialize SOC */
162cd69e3a6SAlistair Francis     object_initialize_child(OBJECT(machine), "soc", &s->soc, sizeof(s->soc),
163cd69e3a6SAlistair Francis                             TYPE_RISCV_HART_ARRAY, &error_abort, NULL);
164cd69e3a6SAlistair Francis     object_property_set_str(OBJECT(&s->soc), machine->cpu_type, "cpu-type",
165cd69e3a6SAlistair Francis                             &error_abort);
166cd69e3a6SAlistair Francis     object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts",
167cd69e3a6SAlistair Francis                             &error_abort);
168cd69e3a6SAlistair Francis     object_property_set_bool(OBJECT(&s->soc), true, "realized",
169cd69e3a6SAlistair Francis                             &error_abort);
170cd69e3a6SAlistair Francis 
171cd69e3a6SAlistair Francis     /* register system main memory (actual RAM) */
172cd69e3a6SAlistair Francis     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
173cd69e3a6SAlistair Francis                            machine->ram_size, &error_fatal);
174cd69e3a6SAlistair Francis     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
175cd69e3a6SAlistair Francis         main_mem);
176cd69e3a6SAlistair Francis 
177cd69e3a6SAlistair Francis     /* create device tree */
178cd69e3a6SAlistair Francis     create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline);
179cd69e3a6SAlistair Francis 
180cd69e3a6SAlistair Francis     /* boot rom */
181cd69e3a6SAlistair Francis     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
182cd69e3a6SAlistair Francis                            memmap[SPIKE_MROM].size, &error_fatal);
183cd69e3a6SAlistair Francis     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
184cd69e3a6SAlistair Francis                                 mask_rom);
185cd69e3a6SAlistair Francis 
186cd69e3a6SAlistair Francis     if (machine->kernel_filename) {
1876478dd74SZhuang, Siwei (Data61, Kensington NSW)         riscv_load_kernel(machine->kernel_filename, htif_symbol_callback);
188cd69e3a6SAlistair Francis     }
189cd69e3a6SAlistair Francis 
190cd69e3a6SAlistair Francis     /* reset vector */
191cd69e3a6SAlistair Francis     uint32_t reset_vec[8] = {
192cd69e3a6SAlistair Francis         0x00000297,                  /* 1:  auipc  t0, %pcrel_hi(dtb) */
193cd69e3a6SAlistair Francis         0x02028593,                  /*     addi   a1, t0, %pcrel_lo(1b) */
194cd69e3a6SAlistair Francis         0xf1402573,                  /*     csrr   a0, mhartid  */
195cd69e3a6SAlistair Francis #if defined(TARGET_RISCV32)
196cd69e3a6SAlistair Francis         0x0182a283,                  /*     lw     t0, 24(t0) */
197cd69e3a6SAlistair Francis #elif defined(TARGET_RISCV64)
198cd69e3a6SAlistair Francis         0x0182b283,                  /*     ld     t0, 24(t0) */
199cd69e3a6SAlistair Francis #endif
200cd69e3a6SAlistair Francis         0x00028067,                  /*     jr     t0 */
201cd69e3a6SAlistair Francis         0x00000000,
202cd69e3a6SAlistair Francis         memmap[SPIKE_DRAM].base,     /* start: .dword DRAM_BASE */
203cd69e3a6SAlistair Francis         0x00000000,
204cd69e3a6SAlistair Francis                                      /* dtb: */
205cd69e3a6SAlistair Francis     };
206cd69e3a6SAlistair Francis 
207cd69e3a6SAlistair Francis     /* copy in the reset vector in little_endian byte order */
208cd69e3a6SAlistair Francis     for (i = 0; i < sizeof(reset_vec) >> 2; i++) {
209cd69e3a6SAlistair Francis         reset_vec[i] = cpu_to_le32(reset_vec[i]);
210cd69e3a6SAlistair Francis     }
211cd69e3a6SAlistair Francis     rom_add_blob_fixed_as("mrom.reset", reset_vec, sizeof(reset_vec),
212cd69e3a6SAlistair Francis                           memmap[SPIKE_MROM].base, &address_space_memory);
213cd69e3a6SAlistair Francis 
214cd69e3a6SAlistair Francis     /* copy in the device tree */
215cd69e3a6SAlistair Francis     if (fdt_pack(s->fdt) || fdt_totalsize(s->fdt) >
216cd69e3a6SAlistair Francis             memmap[SPIKE_MROM].size - sizeof(reset_vec)) {
217cd69e3a6SAlistair Francis         error_report("not enough space to store device-tree");
218cd69e3a6SAlistair Francis         exit(1);
219cd69e3a6SAlistair Francis     }
220cd69e3a6SAlistair Francis     qemu_fdt_dumpdtb(s->fdt, fdt_totalsize(s->fdt));
221cd69e3a6SAlistair Francis     rom_add_blob_fixed_as("mrom.fdt", s->fdt, fdt_totalsize(s->fdt),
222cd69e3a6SAlistair Francis                           memmap[SPIKE_MROM].base + sizeof(reset_vec),
223cd69e3a6SAlistair Francis                           &address_space_memory);
224cd69e3a6SAlistair Francis 
225cd69e3a6SAlistair Francis     /* initialize HTIF using symbols found in load_kernel */
226cd69e3a6SAlistair Francis     htif_mm_init(system_memory, mask_rom, &s->soc.harts[0].env, serial_hd(0));
227cd69e3a6SAlistair Francis 
228cd69e3a6SAlistair Francis     /* Core Local Interruptor (timer and IPI) */
229cd69e3a6SAlistair Francis     sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size,
230*5f3616ccSAnup Patel         smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE,
231*5f3616ccSAnup Patel         false);
232cd69e3a6SAlistair Francis }
233cd69e3a6SAlistair Francis 
2345b4beba1SMichael Clark static void spike_v1_10_0_board_init(MachineState *machine)
2355b4beba1SMichael Clark {
2365b4beba1SMichael Clark     const struct MemmapEntry *memmap = spike_memmap;
2375b4beba1SMichael Clark 
2385b4beba1SMichael Clark     SpikeState *s = g_new0(SpikeState, 1);
2395b4beba1SMichael Clark     MemoryRegion *system_memory = get_system_memory();
2405b4beba1SMichael Clark     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
2415aec3247SMichael Clark     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
2425aec3247SMichael Clark     int i;
243c4473127SLike Xu     unsigned int smp_cpus = machine->smp.cpus;
2445b4beba1SMichael Clark 
245cd69e3a6SAlistair Francis     if (!qtest_enabled()) {
246cd69e3a6SAlistair Francis         info_report("The Spike v1.10.0 machine has been deprecated. "
247cd69e3a6SAlistair Francis                     "Please use the generic spike machine and specify the ISA "
248cd69e3a6SAlistair Francis                     "versions using -cpu.");
249cd69e3a6SAlistair Francis     }
250cd69e3a6SAlistair Francis 
2515b4beba1SMichael Clark     /* Initialize SOC */
2528ff62f6aSAlistair Francis     object_initialize_child(OBJECT(machine), "soc", &s->soc, sizeof(s->soc),
2538ff62f6aSAlistair Francis                             TYPE_RISCV_HART_ARRAY, &error_abort, NULL);
2545b4beba1SMichael Clark     object_property_set_str(OBJECT(&s->soc), SPIKE_V1_10_0_CPU, "cpu-type",
2555b4beba1SMichael Clark                             &error_abort);
2565b4beba1SMichael Clark     object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts",
2575b4beba1SMichael Clark                             &error_abort);
2585b4beba1SMichael Clark     object_property_set_bool(OBJECT(&s->soc), true, "realized",
2595b4beba1SMichael Clark                             &error_abort);
2605b4beba1SMichael Clark 
2615b4beba1SMichael Clark     /* register system main memory (actual RAM) */
2625b4beba1SMichael Clark     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
2635b4beba1SMichael Clark                            machine->ram_size, &error_fatal);
2645b4beba1SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
2655b4beba1SMichael Clark         main_mem);
2665b4beba1SMichael Clark 
2675b4beba1SMichael Clark     /* create device tree */
2685b4beba1SMichael Clark     create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline);
2695b4beba1SMichael Clark 
2705b4beba1SMichael Clark     /* boot rom */
2715aec3247SMichael Clark     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
2725aec3247SMichael Clark                            memmap[SPIKE_MROM].size, &error_fatal);
2735aec3247SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
2745aec3247SMichael Clark                                 mask_rom);
2755b4beba1SMichael Clark 
2765b4beba1SMichael Clark     if (machine->kernel_filename) {
2776478dd74SZhuang, Siwei (Data61, Kensington NSW)         riscv_load_kernel(machine->kernel_filename, htif_symbol_callback);
2785b4beba1SMichael Clark     }
2795b4beba1SMichael Clark 
2805b4beba1SMichael Clark     /* reset vector */
2815b4beba1SMichael Clark     uint32_t reset_vec[8] = {
2825b4beba1SMichael Clark         0x00000297,                  /* 1:  auipc  t0, %pcrel_hi(dtb) */
2835b4beba1SMichael Clark         0x02028593,                  /*     addi   a1, t0, %pcrel_lo(1b) */
2845b4beba1SMichael Clark         0xf1402573,                  /*     csrr   a0, mhartid  */
2855b4beba1SMichael Clark #if defined(TARGET_RISCV32)
2865b4beba1SMichael Clark         0x0182a283,                  /*     lw     t0, 24(t0) */
2875b4beba1SMichael Clark #elif defined(TARGET_RISCV64)
2885b4beba1SMichael Clark         0x0182b283,                  /*     ld     t0, 24(t0) */
2895b4beba1SMichael Clark #endif
2905b4beba1SMichael Clark         0x00028067,                  /*     jr     t0 */
2915b4beba1SMichael Clark         0x00000000,
2925b4beba1SMichael Clark         memmap[SPIKE_DRAM].base,     /* start: .dword DRAM_BASE */
2935b4beba1SMichael Clark         0x00000000,
2945b4beba1SMichael Clark                                      /* dtb: */
2955b4beba1SMichael Clark     };
2965b4beba1SMichael Clark 
2975aec3247SMichael Clark     /* copy in the reset vector in little_endian byte order */
2985aec3247SMichael Clark     for (i = 0; i < sizeof(reset_vec) >> 2; i++) {
2995aec3247SMichael Clark         reset_vec[i] = cpu_to_le32(reset_vec[i]);
3005aec3247SMichael Clark     }
3015aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", reset_vec, sizeof(reset_vec),
3025aec3247SMichael Clark                           memmap[SPIKE_MROM].base, &address_space_memory);
3035b4beba1SMichael Clark 
3045b4beba1SMichael Clark     /* copy in the device tree */
3055aec3247SMichael Clark     if (fdt_pack(s->fdt) || fdt_totalsize(s->fdt) >
3065aec3247SMichael Clark             memmap[SPIKE_MROM].size - sizeof(reset_vec)) {
3075aec3247SMichael Clark         error_report("not enough space to store device-tree");
3085aec3247SMichael Clark         exit(1);
3095aec3247SMichael Clark     }
3105aec3247SMichael Clark     qemu_fdt_dumpdtb(s->fdt, fdt_totalsize(s->fdt));
3115aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.fdt", s->fdt, fdt_totalsize(s->fdt),
3125aec3247SMichael Clark                           memmap[SPIKE_MROM].base + sizeof(reset_vec),
3135aec3247SMichael Clark                           &address_space_memory);
3145b4beba1SMichael Clark 
3155b4beba1SMichael Clark     /* initialize HTIF using symbols found in load_kernel */
3165aec3247SMichael Clark     htif_mm_init(system_memory, mask_rom, &s->soc.harts[0].env, serial_hd(0));
3175b4beba1SMichael Clark 
3185b4beba1SMichael Clark     /* Core Local Interruptor (timer and IPI) */
3195b4beba1SMichael Clark     sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size,
320*5f3616ccSAnup Patel         smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE,
321*5f3616ccSAnup Patel         false);
3225b4beba1SMichael Clark }
3235b4beba1SMichael Clark 
3245b4beba1SMichael Clark static void spike_v1_09_1_board_init(MachineState *machine)
3255b4beba1SMichael Clark {
3265b4beba1SMichael Clark     const struct MemmapEntry *memmap = spike_memmap;
3275b4beba1SMichael Clark 
3285b4beba1SMichael Clark     SpikeState *s = g_new0(SpikeState, 1);
3295b4beba1SMichael Clark     MemoryRegion *system_memory = get_system_memory();
3305b4beba1SMichael Clark     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
3315aec3247SMichael Clark     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
3325aec3247SMichael Clark     int i;
333c4473127SLike Xu     unsigned int smp_cpus = machine->smp.cpus;
3345b4beba1SMichael Clark 
335cd69e3a6SAlistair Francis     if (!qtest_enabled()) {
336cd69e3a6SAlistair Francis         info_report("The Spike v1.09.1 machine has been deprecated. "
337cd69e3a6SAlistair Francis                     "Please use the generic spike machine and specify the ISA "
338cd69e3a6SAlistair Francis                     "versions using -cpu.");
339cd69e3a6SAlistair Francis     }
340cd69e3a6SAlistair Francis 
3415b4beba1SMichael Clark     /* Initialize SOC */
3428ff62f6aSAlistair Francis     object_initialize_child(OBJECT(machine), "soc", &s->soc, sizeof(s->soc),
3438ff62f6aSAlistair Francis                             TYPE_RISCV_HART_ARRAY, &error_abort, NULL);
3445b4beba1SMichael Clark     object_property_set_str(OBJECT(&s->soc), SPIKE_V1_09_1_CPU, "cpu-type",
3455b4beba1SMichael Clark                             &error_abort);
3465b4beba1SMichael Clark     object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts",
3475b4beba1SMichael Clark                             &error_abort);
3485b4beba1SMichael Clark     object_property_set_bool(OBJECT(&s->soc), true, "realized",
3495b4beba1SMichael Clark                             &error_abort);
3505b4beba1SMichael Clark 
3515b4beba1SMichael Clark     /* register system main memory (actual RAM) */
3525b4beba1SMichael Clark     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
3535b4beba1SMichael Clark                            machine->ram_size, &error_fatal);
3545b4beba1SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
3555b4beba1SMichael Clark         main_mem);
3565b4beba1SMichael Clark 
3575b4beba1SMichael Clark     /* boot rom */
3585aec3247SMichael Clark     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
3595aec3247SMichael Clark                            memmap[SPIKE_MROM].size, &error_fatal);
3605aec3247SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
3615aec3247SMichael Clark                                 mask_rom);
3625b4beba1SMichael Clark 
3635b4beba1SMichael Clark     if (machine->kernel_filename) {
3646478dd74SZhuang, Siwei (Data61, Kensington NSW)         riscv_load_kernel(machine->kernel_filename, htif_symbol_callback);
3655b4beba1SMichael Clark     }
3665b4beba1SMichael Clark 
3675b4beba1SMichael Clark     /* reset vector */
3685b4beba1SMichael Clark     uint32_t reset_vec[8] = {
3695b4beba1SMichael Clark         0x297 + memmap[SPIKE_DRAM].base - memmap[SPIKE_MROM].base, /* lui */
3705b4beba1SMichael Clark         0x00028067,                   /* jump to DRAM_BASE */
3715b4beba1SMichael Clark         0x00000000,                   /* reserved */
3725b4beba1SMichael Clark         memmap[SPIKE_MROM].base + sizeof(reset_vec), /* config string pointer */
3735b4beba1SMichael Clark         0, 0, 0, 0                    /* trap vector */
3745b4beba1SMichael Clark     };
3755b4beba1SMichael Clark 
3765b4beba1SMichael Clark     /* part one of config string - before memory size specified */
3775b4beba1SMichael Clark     const char *config_string_tmpl =
3785b4beba1SMichael Clark         "platform {\n"
3795b4beba1SMichael Clark         "  vendor ucb;\n"
3805b4beba1SMichael Clark         "  arch spike;\n"
3815b4beba1SMichael Clark         "};\n"
3825b4beba1SMichael Clark         "rtc {\n"
3835b4beba1SMichael Clark         "  addr 0x%" PRIx64 "x;\n"
3845b4beba1SMichael Clark         "};\n"
3855b4beba1SMichael Clark         "ram {\n"
3865b4beba1SMichael Clark         "  0 {\n"
3875b4beba1SMichael Clark         "    addr 0x%" PRIx64 "x;\n"
3885b4beba1SMichael Clark         "    size 0x%" PRIx64 "x;\n"
3895b4beba1SMichael Clark         "  };\n"
3905b4beba1SMichael Clark         "};\n"
3915b4beba1SMichael Clark         "core {\n"
3925b4beba1SMichael Clark         "  0" " {\n"
3935b4beba1SMichael Clark         "    " "0 {\n"
3945b4beba1SMichael Clark         "      isa %s;\n"
3955b4beba1SMichael Clark         "      timecmp 0x%" PRIx64 "x;\n"
3965b4beba1SMichael Clark         "      ipi 0x%" PRIx64 "x;\n"
3975b4beba1SMichael Clark         "    };\n"
3985b4beba1SMichael Clark         "  };\n"
3995b4beba1SMichael Clark         "};\n";
4005b4beba1SMichael Clark 
4015b4beba1SMichael Clark     /* build config string with supplied memory size */
4025b4beba1SMichael Clark     char *isa = riscv_isa_string(&s->soc.harts[0]);
40300a014acSAlistair Francis     char *config_string = g_strdup_printf(config_string_tmpl,
4045b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIME_BASE,
4055b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_DRAM].base,
4065b4beba1SMichael Clark         (uint64_t)ram_size, isa,
4075b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIMECMP_BASE,
4085b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_SIP_BASE);
4095b4beba1SMichael Clark     g_free(isa);
4105b4beba1SMichael Clark     size_t config_string_len = strlen(config_string);
4115b4beba1SMichael Clark 
4125aec3247SMichael Clark     /* copy in the reset vector in little_endian byte order */
4135aec3247SMichael Clark     for (i = 0; i < sizeof(reset_vec) >> 2; i++) {
4145aec3247SMichael Clark         reset_vec[i] = cpu_to_le32(reset_vec[i]);
4155aec3247SMichael Clark     }
4165aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", reset_vec, sizeof(reset_vec),
4175aec3247SMichael Clark                           memmap[SPIKE_MROM].base, &address_space_memory);
4185b4beba1SMichael Clark 
4195b4beba1SMichael Clark     /* copy in the config string */
4205aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", config_string, config_string_len,
4215aec3247SMichael Clark                           memmap[SPIKE_MROM].base + sizeof(reset_vec),
4225aec3247SMichael Clark                           &address_space_memory);
4235b4beba1SMichael Clark 
4245b4beba1SMichael Clark     /* initialize HTIF using symbols found in load_kernel */
4255aec3247SMichael Clark     htif_mm_init(system_memory, mask_rom, &s->soc.harts[0].env, serial_hd(0));
4265b4beba1SMichael Clark 
4275b4beba1SMichael Clark     /* Core Local Interruptor (timer and IPI) */
4285b4beba1SMichael Clark     sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size,
429*5f3616ccSAnup Patel         smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE,
430*5f3616ccSAnup Patel         false);
43100a014acSAlistair Francis 
43200a014acSAlistair Francis     g_free(config_string);
4335b4beba1SMichael Clark }
4345b4beba1SMichael Clark 
4355b4beba1SMichael Clark static void spike_v1_09_1_machine_init(MachineClass *mc)
4365b4beba1SMichael Clark {
4375b4beba1SMichael Clark     mc->desc = "RISC-V Spike Board (Privileged ISA v1.9.1)";
4385b4beba1SMichael Clark     mc->init = spike_v1_09_1_board_init;
4395b4beba1SMichael Clark     mc->max_cpus = 1;
4405b4beba1SMichael Clark }
4415b4beba1SMichael Clark 
4425b4beba1SMichael Clark static void spike_v1_10_0_machine_init(MachineClass *mc)
4435b4beba1SMichael Clark {
4445b4beba1SMichael Clark     mc->desc = "RISC-V Spike Board (Privileged ISA v1.10)";
4455b4beba1SMichael Clark     mc->init = spike_v1_10_0_board_init;
4465b4beba1SMichael Clark     mc->max_cpus = 1;
447cd69e3a6SAlistair Francis }
448cd69e3a6SAlistair Francis 
449cd69e3a6SAlistair Francis static void spike_machine_init(MachineClass *mc)
450cd69e3a6SAlistair Francis {
451cd69e3a6SAlistair Francis     mc->desc = "RISC-V Spike Board";
452cd69e3a6SAlistair Francis     mc->init = spike_board_init;
453cd69e3a6SAlistair Francis     mc->max_cpus = 1;
4545b4beba1SMichael Clark     mc->is_default = 1;
455cd69e3a6SAlistair Francis     mc->default_cpu_type = SPIKE_V1_10_0_CPU;
4565b4beba1SMichael Clark }
4575b4beba1SMichael Clark 
4585b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.9.1", spike_v1_09_1_machine_init)
4595b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.10", spike_v1_10_0_machine_init)
460cd69e3a6SAlistair Francis DEFINE_MACHINE("spike", spike_machine_init)
461