xref: /qemu/hw/riscv/spike.c (revision 8ff62f6aa067edd5455d60202041b4ae08a65b17)
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/hw.h"
315b4beba1SMichael Clark #include "hw/boards.h"
325b4beba1SMichael Clark #include "hw/loader.h"
335b4beba1SMichael Clark #include "hw/sysbus.h"
345b4beba1SMichael Clark #include "target/riscv/cpu.h"
355b4beba1SMichael Clark #include "hw/riscv/riscv_htif.h"
365b4beba1SMichael Clark #include "hw/riscv/riscv_hart.h"
375b4beba1SMichael Clark #include "hw/riscv/sifive_clint.h"
385b4beba1SMichael Clark #include "hw/riscv/spike.h"
395b4beba1SMichael Clark #include "chardev/char.h"
405b4beba1SMichael Clark #include "sysemu/arch_init.h"
415b4beba1SMichael Clark #include "sysemu/device_tree.h"
425b4beba1SMichael Clark #include "exec/address-spaces.h"
435b4beba1SMichael Clark #include "elf.h"
445b4beba1SMichael Clark 
455aec3247SMichael Clark #include <libfdt.h>
465aec3247SMichael Clark 
475b4beba1SMichael Clark static const struct MemmapEntry {
485b4beba1SMichael Clark     hwaddr base;
495b4beba1SMichael Clark     hwaddr size;
505b4beba1SMichael Clark } spike_memmap[] = {
515aec3247SMichael Clark     [SPIKE_MROM] =     {     0x1000,    0x11000 },
525b4beba1SMichael Clark     [SPIKE_CLINT] =    {  0x2000000,    0x10000 },
535b4beba1SMichael Clark     [SPIKE_DRAM] =     { 0x80000000,        0x0 },
545b4beba1SMichael Clark };
555b4beba1SMichael Clark 
565b4beba1SMichael Clark static uint64_t load_kernel(const char *kernel_filename)
575b4beba1SMichael Clark {
585b4beba1SMichael Clark     uint64_t kernel_entry, kernel_high;
595b4beba1SMichael Clark 
60b7938980SMichael Clark     if (load_elf_ram_sym(kernel_filename, NULL, NULL,
6189854803SMichael Clark             &kernel_entry, NULL, &kernel_high, 0, EM_RISCV, 1, 0,
625b4beba1SMichael Clark             NULL, true, htif_symbol_callback) < 0) {
635b4beba1SMichael Clark         error_report("qemu: could not load kernel '%s'", kernel_filename);
645b4beba1SMichael Clark         exit(1);
655b4beba1SMichael Clark     }
665b4beba1SMichael Clark     return kernel_entry;
675b4beba1SMichael Clark }
685b4beba1SMichael Clark 
695b4beba1SMichael Clark static void create_fdt(SpikeState *s, const struct MemmapEntry *memmap,
705b4beba1SMichael Clark     uint64_t mem_size, const char *cmdline)
715b4beba1SMichael Clark {
725b4beba1SMichael Clark     void *fdt;
735b4beba1SMichael Clark     int cpu;
745b4beba1SMichael Clark     uint32_t *cells;
755b4beba1SMichael Clark     char *nodename;
765b4beba1SMichael Clark 
775b4beba1SMichael Clark     fdt = s->fdt = create_device_tree(&s->fdt_size);
785b4beba1SMichael Clark     if (!fdt) {
795b4beba1SMichael Clark         error_report("create_device_tree() failed");
805b4beba1SMichael Clark         exit(1);
815b4beba1SMichael Clark     }
825b4beba1SMichael Clark 
835b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "model", "ucbbar,spike-bare,qemu");
845b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/", "compatible", "ucbbar,spike-bare-dev");
855b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#size-cells", 0x2);
865b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/", "#address-cells", 0x2);
875b4beba1SMichael Clark 
885b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/htif");
895b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/htif", "compatible", "ucb,htif0");
905b4beba1SMichael Clark 
915b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/soc");
925b4beba1SMichael Clark     qemu_fdt_setprop(fdt, "/soc", "ranges", NULL, 0);
935b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/soc", "compatible", "ucbbar,spike-bare-soc");
945b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#size-cells", 0x2);
955b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/soc", "#address-cells", 0x2);
965b4beba1SMichael Clark 
975b4beba1SMichael Clark     nodename = g_strdup_printf("/memory@%lx",
985b4beba1SMichael Clark         (long)memmap[SPIKE_DRAM].base);
995b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, nodename);
1005b4beba1SMichael Clark     qemu_fdt_setprop_cells(fdt, nodename, "reg",
1015b4beba1SMichael Clark         memmap[SPIKE_DRAM].base >> 32, memmap[SPIKE_DRAM].base,
1025b4beba1SMichael Clark         mem_size >> 32, mem_size);
1035b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, nodename, "device_type", "memory");
1045b4beba1SMichael Clark     g_free(nodename);
1055b4beba1SMichael Clark 
1065b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/cpus");
1072a8756edSMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "timebase-frequency",
1082a8756edSMichael Clark         SIFIVE_CLINT_TIMEBASE_FREQ);
1095b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#size-cells", 0x0);
1105b4beba1SMichael Clark     qemu_fdt_setprop_cell(fdt, "/cpus", "#address-cells", 0x1);
1115b4beba1SMichael Clark 
1125b4beba1SMichael Clark     for (cpu = s->soc.num_harts - 1; cpu >= 0; cpu--) {
1135b4beba1SMichael Clark         nodename = g_strdup_printf("/cpus/cpu@%d", cpu);
1145b4beba1SMichael Clark         char *intc = g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu);
1155b4beba1SMichael Clark         char *isa = riscv_isa_string(&s->soc.harts[cpu]);
1165b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, nodename);
1172a8756edSMichael Clark         qemu_fdt_setprop_cell(fdt, nodename, "clock-frequency",
1182a8756edSMichael Clark                               SPIKE_CLOCK_FREQ);
1195b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "mmu-type", "riscv,sv48");
1205b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "riscv,isa", isa);
1215b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv");
1225b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "status", "okay");
1235b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, nodename, "reg", cpu);
1245b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, nodename, "device_type", "cpu");
1255b4beba1SMichael Clark         qemu_fdt_add_subnode(fdt, intc);
1265b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, intc, "phandle", 1);
1275b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, intc, "linux,phandle", 1);
1285b4beba1SMichael Clark         qemu_fdt_setprop_string(fdt, intc, "compatible", "riscv,cpu-intc");
1295b4beba1SMichael Clark         qemu_fdt_setprop(fdt, intc, "interrupt-controller", NULL, 0);
1305b4beba1SMichael Clark         qemu_fdt_setprop_cell(fdt, intc, "#interrupt-cells", 1);
1315b4beba1SMichael Clark         g_free(isa);
1325b4beba1SMichael Clark         g_free(intc);
1335b4beba1SMichael Clark         g_free(nodename);
1345b4beba1SMichael Clark     }
1355b4beba1SMichael Clark 
1365b4beba1SMichael Clark     cells =  g_new0(uint32_t, s->soc.num_harts * 4);
1375b4beba1SMichael Clark     for (cpu = 0; cpu < s->soc.num_harts; cpu++) {
1385b4beba1SMichael Clark         nodename =
1395b4beba1SMichael Clark             g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu);
1405b4beba1SMichael Clark         uint32_t intc_phandle = qemu_fdt_get_phandle(fdt, nodename);
1415b4beba1SMichael Clark         cells[cpu * 4 + 0] = cpu_to_be32(intc_phandle);
1425b4beba1SMichael Clark         cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT);
1435b4beba1SMichael Clark         cells[cpu * 4 + 2] = cpu_to_be32(intc_phandle);
1445b4beba1SMichael Clark         cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER);
1455b4beba1SMichael Clark         g_free(nodename);
1465b4beba1SMichael Clark     }
1475b4beba1SMichael Clark     nodename = g_strdup_printf("/soc/clint@%lx",
1485b4beba1SMichael Clark         (long)memmap[SPIKE_CLINT].base);
1495b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, nodename);
1505b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv,clint0");
1515b4beba1SMichael Clark     qemu_fdt_setprop_cells(fdt, nodename, "reg",
1525b4beba1SMichael Clark         0x0, memmap[SPIKE_CLINT].base,
1535b4beba1SMichael Clark         0x0, memmap[SPIKE_CLINT].size);
1545b4beba1SMichael Clark     qemu_fdt_setprop(fdt, nodename, "interrupts-extended",
1555b4beba1SMichael Clark         cells, s->soc.num_harts * sizeof(uint32_t) * 4);
1565b4beba1SMichael Clark     g_free(cells);
1575b4beba1SMichael Clark     g_free(nodename);
1585b4beba1SMichael Clark 
1595b4beba1SMichael Clark     qemu_fdt_add_subnode(fdt, "/chosen");
1605b4beba1SMichael Clark     qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", cmdline);
1615b4beba1SMichael Clark  }
1625b4beba1SMichael Clark 
1635b4beba1SMichael Clark static void spike_v1_10_0_board_init(MachineState *machine)
1645b4beba1SMichael Clark {
1655b4beba1SMichael Clark     const struct MemmapEntry *memmap = spike_memmap;
1665b4beba1SMichael Clark 
1675b4beba1SMichael Clark     SpikeState *s = g_new0(SpikeState, 1);
1685b4beba1SMichael Clark     MemoryRegion *system_memory = get_system_memory();
1695b4beba1SMichael Clark     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
1705aec3247SMichael Clark     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
1715aec3247SMichael Clark     int i;
1725b4beba1SMichael Clark 
1735b4beba1SMichael Clark     /* Initialize SOC */
174*8ff62f6aSAlistair Francis     object_initialize_child(OBJECT(machine), "soc", &s->soc, sizeof(s->soc),
175*8ff62f6aSAlistair Francis                             TYPE_RISCV_HART_ARRAY, &error_abort, NULL);
1765b4beba1SMichael Clark     object_property_set_str(OBJECT(&s->soc), SPIKE_V1_10_0_CPU, "cpu-type",
1775b4beba1SMichael Clark                             &error_abort);
1785b4beba1SMichael Clark     object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts",
1795b4beba1SMichael Clark                             &error_abort);
1805b4beba1SMichael Clark     object_property_set_bool(OBJECT(&s->soc), true, "realized",
1815b4beba1SMichael Clark                             &error_abort);
1825b4beba1SMichael Clark 
1835b4beba1SMichael Clark     /* register system main memory (actual RAM) */
1845b4beba1SMichael Clark     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
1855b4beba1SMichael Clark                            machine->ram_size, &error_fatal);
1865b4beba1SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
1875b4beba1SMichael Clark         main_mem);
1885b4beba1SMichael Clark 
1895b4beba1SMichael Clark     /* create device tree */
1905b4beba1SMichael Clark     create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline);
1915b4beba1SMichael Clark 
1925b4beba1SMichael Clark     /* boot rom */
1935aec3247SMichael Clark     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
1945aec3247SMichael Clark                            memmap[SPIKE_MROM].size, &error_fatal);
1955aec3247SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
1965aec3247SMichael Clark                                 mask_rom);
1975b4beba1SMichael Clark 
1985b4beba1SMichael Clark     if (machine->kernel_filename) {
1995b4beba1SMichael Clark         load_kernel(machine->kernel_filename);
2005b4beba1SMichael Clark     }
2015b4beba1SMichael Clark 
2025b4beba1SMichael Clark     /* reset vector */
2035b4beba1SMichael Clark     uint32_t reset_vec[8] = {
2045b4beba1SMichael Clark         0x00000297,                  /* 1:  auipc  t0, %pcrel_hi(dtb) */
2055b4beba1SMichael Clark         0x02028593,                  /*     addi   a1, t0, %pcrel_lo(1b) */
2065b4beba1SMichael Clark         0xf1402573,                  /*     csrr   a0, mhartid  */
2075b4beba1SMichael Clark #if defined(TARGET_RISCV32)
2085b4beba1SMichael Clark         0x0182a283,                  /*     lw     t0, 24(t0) */
2095b4beba1SMichael Clark #elif defined(TARGET_RISCV64)
2105b4beba1SMichael Clark         0x0182b283,                  /*     ld     t0, 24(t0) */
2115b4beba1SMichael Clark #endif
2125b4beba1SMichael Clark         0x00028067,                  /*     jr     t0 */
2135b4beba1SMichael Clark         0x00000000,
2145b4beba1SMichael Clark         memmap[SPIKE_DRAM].base,     /* start: .dword DRAM_BASE */
2155b4beba1SMichael Clark         0x00000000,
2165b4beba1SMichael Clark                                      /* dtb: */
2175b4beba1SMichael Clark     };
2185b4beba1SMichael Clark 
2195aec3247SMichael Clark     /* copy in the reset vector in little_endian byte order */
2205aec3247SMichael Clark     for (i = 0; i < sizeof(reset_vec) >> 2; i++) {
2215aec3247SMichael Clark         reset_vec[i] = cpu_to_le32(reset_vec[i]);
2225aec3247SMichael Clark     }
2235aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", reset_vec, sizeof(reset_vec),
2245aec3247SMichael Clark                           memmap[SPIKE_MROM].base, &address_space_memory);
2255b4beba1SMichael Clark 
2265b4beba1SMichael Clark     /* copy in the device tree */
2275aec3247SMichael Clark     if (fdt_pack(s->fdt) || fdt_totalsize(s->fdt) >
2285aec3247SMichael Clark             memmap[SPIKE_MROM].size - sizeof(reset_vec)) {
2295aec3247SMichael Clark         error_report("not enough space to store device-tree");
2305aec3247SMichael Clark         exit(1);
2315aec3247SMichael Clark     }
2325aec3247SMichael Clark     qemu_fdt_dumpdtb(s->fdt, fdt_totalsize(s->fdt));
2335aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.fdt", s->fdt, fdt_totalsize(s->fdt),
2345aec3247SMichael Clark                           memmap[SPIKE_MROM].base + sizeof(reset_vec),
2355aec3247SMichael Clark                           &address_space_memory);
2365b4beba1SMichael Clark 
2375b4beba1SMichael Clark     /* initialize HTIF using symbols found in load_kernel */
2385aec3247SMichael Clark     htif_mm_init(system_memory, mask_rom, &s->soc.harts[0].env, serial_hd(0));
2395b4beba1SMichael Clark 
2405b4beba1SMichael Clark     /* Core Local Interruptor (timer and IPI) */
2415b4beba1SMichael Clark     sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size,
2425b4beba1SMichael Clark         smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE);
2435b4beba1SMichael Clark }
2445b4beba1SMichael Clark 
2455b4beba1SMichael Clark static void spike_v1_09_1_board_init(MachineState *machine)
2465b4beba1SMichael Clark {
2475b4beba1SMichael Clark     const struct MemmapEntry *memmap = spike_memmap;
2485b4beba1SMichael Clark 
2495b4beba1SMichael Clark     SpikeState *s = g_new0(SpikeState, 1);
2505b4beba1SMichael Clark     MemoryRegion *system_memory = get_system_memory();
2515b4beba1SMichael Clark     MemoryRegion *main_mem = g_new(MemoryRegion, 1);
2525aec3247SMichael Clark     MemoryRegion *mask_rom = g_new(MemoryRegion, 1);
2535aec3247SMichael Clark     int i;
2545b4beba1SMichael Clark 
2555b4beba1SMichael Clark     /* Initialize SOC */
256*8ff62f6aSAlistair Francis     object_initialize_child(OBJECT(machine), "soc", &s->soc, sizeof(s->soc),
257*8ff62f6aSAlistair Francis                             TYPE_RISCV_HART_ARRAY, &error_abort, NULL);
2585b4beba1SMichael Clark     object_property_set_str(OBJECT(&s->soc), SPIKE_V1_09_1_CPU, "cpu-type",
2595b4beba1SMichael Clark                             &error_abort);
2605b4beba1SMichael Clark     object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts",
2615b4beba1SMichael Clark                             &error_abort);
2625b4beba1SMichael Clark     object_property_set_bool(OBJECT(&s->soc), true, "realized",
2635b4beba1SMichael Clark                             &error_abort);
2645b4beba1SMichael Clark 
2655b4beba1SMichael Clark     /* register system main memory (actual RAM) */
2665b4beba1SMichael Clark     memory_region_init_ram(main_mem, NULL, "riscv.spike.ram",
2675b4beba1SMichael Clark                            machine->ram_size, &error_fatal);
2685b4beba1SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base,
2695b4beba1SMichael Clark         main_mem);
2705b4beba1SMichael Clark 
2715b4beba1SMichael Clark     /* boot rom */
2725aec3247SMichael Clark     memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom",
2735aec3247SMichael Clark                            memmap[SPIKE_MROM].size, &error_fatal);
2745aec3247SMichael Clark     memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base,
2755aec3247SMichael Clark                                 mask_rom);
2765b4beba1SMichael Clark 
2775b4beba1SMichael Clark     if (machine->kernel_filename) {
2785b4beba1SMichael Clark         load_kernel(machine->kernel_filename);
2795b4beba1SMichael Clark     }
2805b4beba1SMichael Clark 
2815b4beba1SMichael Clark     /* reset vector */
2825b4beba1SMichael Clark     uint32_t reset_vec[8] = {
2835b4beba1SMichael Clark         0x297 + memmap[SPIKE_DRAM].base - memmap[SPIKE_MROM].base, /* lui */
2845b4beba1SMichael Clark         0x00028067,                   /* jump to DRAM_BASE */
2855b4beba1SMichael Clark         0x00000000,                   /* reserved */
2865b4beba1SMichael Clark         memmap[SPIKE_MROM].base + sizeof(reset_vec), /* config string pointer */
2875b4beba1SMichael Clark         0, 0, 0, 0                    /* trap vector */
2885b4beba1SMichael Clark     };
2895b4beba1SMichael Clark 
2905b4beba1SMichael Clark     /* part one of config string - before memory size specified */
2915b4beba1SMichael Clark     const char *config_string_tmpl =
2925b4beba1SMichael Clark         "platform {\n"
2935b4beba1SMichael Clark         "  vendor ucb;\n"
2945b4beba1SMichael Clark         "  arch spike;\n"
2955b4beba1SMichael Clark         "};\n"
2965b4beba1SMichael Clark         "rtc {\n"
2975b4beba1SMichael Clark         "  addr 0x%" PRIx64 "x;\n"
2985b4beba1SMichael Clark         "};\n"
2995b4beba1SMichael Clark         "ram {\n"
3005b4beba1SMichael Clark         "  0 {\n"
3015b4beba1SMichael Clark         "    addr 0x%" PRIx64 "x;\n"
3025b4beba1SMichael Clark         "    size 0x%" PRIx64 "x;\n"
3035b4beba1SMichael Clark         "  };\n"
3045b4beba1SMichael Clark         "};\n"
3055b4beba1SMichael Clark         "core {\n"
3065b4beba1SMichael Clark         "  0" " {\n"
3075b4beba1SMichael Clark         "    " "0 {\n"
3085b4beba1SMichael Clark         "      isa %s;\n"
3095b4beba1SMichael Clark         "      timecmp 0x%" PRIx64 "x;\n"
3105b4beba1SMichael Clark         "      ipi 0x%" PRIx64 "x;\n"
3115b4beba1SMichael Clark         "    };\n"
3125b4beba1SMichael Clark         "  };\n"
3135b4beba1SMichael Clark         "};\n";
3145b4beba1SMichael Clark 
3155b4beba1SMichael Clark     /* build config string with supplied memory size */
3165b4beba1SMichael Clark     char *isa = riscv_isa_string(&s->soc.harts[0]);
3175b4beba1SMichael Clark     size_t config_string_size = strlen(config_string_tmpl) + 48;
3185b4beba1SMichael Clark     char *config_string = malloc(config_string_size);
3195b4beba1SMichael Clark     snprintf(config_string, config_string_size, config_string_tmpl,
3205b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIME_BASE,
3215b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_DRAM].base,
3225b4beba1SMichael Clark         (uint64_t)ram_size, isa,
3235b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIMECMP_BASE,
3245b4beba1SMichael Clark         (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_SIP_BASE);
3255b4beba1SMichael Clark     g_free(isa);
3265b4beba1SMichael Clark     size_t config_string_len = strlen(config_string);
3275b4beba1SMichael Clark 
3285aec3247SMichael Clark     /* copy in the reset vector in little_endian byte order */
3295aec3247SMichael Clark     for (i = 0; i < sizeof(reset_vec) >> 2; i++) {
3305aec3247SMichael Clark         reset_vec[i] = cpu_to_le32(reset_vec[i]);
3315aec3247SMichael Clark     }
3325aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", reset_vec, sizeof(reset_vec),
3335aec3247SMichael Clark                           memmap[SPIKE_MROM].base, &address_space_memory);
3345b4beba1SMichael Clark 
3355b4beba1SMichael Clark     /* copy in the config string */
3365aec3247SMichael Clark     rom_add_blob_fixed_as("mrom.reset", config_string, config_string_len,
3375aec3247SMichael Clark                           memmap[SPIKE_MROM].base + sizeof(reset_vec),
3385aec3247SMichael Clark                           &address_space_memory);
3395b4beba1SMichael Clark 
3405b4beba1SMichael Clark     /* initialize HTIF using symbols found in load_kernel */
3415aec3247SMichael Clark     htif_mm_init(system_memory, mask_rom, &s->soc.harts[0].env, serial_hd(0));
3425b4beba1SMichael Clark 
3435b4beba1SMichael Clark     /* Core Local Interruptor (timer and IPI) */
3445b4beba1SMichael Clark     sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size,
3455b4beba1SMichael Clark         smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE);
3465b4beba1SMichael Clark }
3475b4beba1SMichael Clark 
3485b4beba1SMichael Clark static void spike_v1_09_1_machine_init(MachineClass *mc)
3495b4beba1SMichael Clark {
3505b4beba1SMichael Clark     mc->desc = "RISC-V Spike Board (Privileged ISA v1.9.1)";
3515b4beba1SMichael Clark     mc->init = spike_v1_09_1_board_init;
3525b4beba1SMichael Clark     mc->max_cpus = 1;
3535b4beba1SMichael Clark }
3545b4beba1SMichael Clark 
3555b4beba1SMichael Clark static void spike_v1_10_0_machine_init(MachineClass *mc)
3565b4beba1SMichael Clark {
3575b4beba1SMichael Clark     mc->desc = "RISC-V Spike Board (Privileged ISA v1.10)";
3585b4beba1SMichael Clark     mc->init = spike_v1_10_0_board_init;
3595b4beba1SMichael Clark     mc->max_cpus = 1;
3605b4beba1SMichael Clark     mc->is_default = 1;
3615b4beba1SMichael Clark }
3625b4beba1SMichael Clark 
3635b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.9.1", spike_v1_09_1_machine_init)
3645b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.10", spike_v1_10_0_machine_init)
365