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