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 455b4beba1SMichael Clark static const struct MemmapEntry { 465b4beba1SMichael Clark hwaddr base; 475b4beba1SMichael Clark hwaddr size; 485b4beba1SMichael Clark } spike_memmap[] = { 495b4beba1SMichael Clark [SPIKE_MROM] = { 0x1000, 0x2000 }, 505b4beba1SMichael Clark [SPIKE_CLINT] = { 0x2000000, 0x10000 }, 515b4beba1SMichael Clark [SPIKE_DRAM] = { 0x80000000, 0x0 }, 525b4beba1SMichael Clark }; 535b4beba1SMichael Clark 545b4beba1SMichael Clark static void copy_le32_to_phys(hwaddr pa, uint32_t *rom, size_t len) 555b4beba1SMichael Clark { 565b4beba1SMichael Clark int i; 575b4beba1SMichael Clark for (i = 0; i < (len >> 2); i++) { 585b4beba1SMichael Clark stl_phys(&address_space_memory, pa + (i << 2), rom[i]); 595b4beba1SMichael Clark } 605b4beba1SMichael Clark } 615b4beba1SMichael Clark 625b4beba1SMichael Clark static uint64_t identity_translate(void *opaque, uint64_t addr) 635b4beba1SMichael Clark { 645b4beba1SMichael Clark return addr; 655b4beba1SMichael Clark } 665b4beba1SMichael Clark 675b4beba1SMichael Clark static uint64_t load_kernel(const char *kernel_filename) 685b4beba1SMichael Clark { 695b4beba1SMichael Clark uint64_t kernel_entry, kernel_high; 705b4beba1SMichael Clark 715b4beba1SMichael Clark if (load_elf_ram_sym(kernel_filename, identity_translate, NULL, 725b4beba1SMichael Clark &kernel_entry, NULL, &kernel_high, 0, ELF_MACHINE, 1, 0, 735b4beba1SMichael Clark NULL, true, htif_symbol_callback) < 0) { 745b4beba1SMichael Clark error_report("qemu: could not load kernel '%s'", kernel_filename); 755b4beba1SMichael Clark exit(1); 765b4beba1SMichael Clark } 775b4beba1SMichael Clark return kernel_entry; 785b4beba1SMichael Clark } 795b4beba1SMichael Clark 805b4beba1SMichael Clark static void create_fdt(SpikeState *s, const struct MemmapEntry *memmap, 815b4beba1SMichael Clark uint64_t mem_size, const char *cmdline) 825b4beba1SMichael Clark { 835b4beba1SMichael Clark void *fdt; 845b4beba1SMichael Clark int cpu; 855b4beba1SMichael Clark uint32_t *cells; 865b4beba1SMichael Clark char *nodename; 875b4beba1SMichael Clark 885b4beba1SMichael Clark fdt = s->fdt = create_device_tree(&s->fdt_size); 895b4beba1SMichael Clark if (!fdt) { 905b4beba1SMichael Clark error_report("create_device_tree() failed"); 915b4beba1SMichael Clark exit(1); 925b4beba1SMichael Clark } 935b4beba1SMichael Clark 945b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/", "model", "ucbbar,spike-bare,qemu"); 955b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/", "compatible", "ucbbar,spike-bare-dev"); 965b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/", "#size-cells", 0x2); 975b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/", "#address-cells", 0x2); 985b4beba1SMichael Clark 995b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/htif"); 1005b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/htif", "compatible", "ucb,htif0"); 1015b4beba1SMichael Clark 1025b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/soc"); 1035b4beba1SMichael Clark qemu_fdt_setprop(fdt, "/soc", "ranges", NULL, 0); 1045b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/soc", "compatible", "ucbbar,spike-bare-soc"); 1055b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/soc", "#size-cells", 0x2); 1065b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/soc", "#address-cells", 0x2); 1075b4beba1SMichael Clark 1085b4beba1SMichael Clark nodename = g_strdup_printf("/memory@%lx", 1095b4beba1SMichael Clark (long)memmap[SPIKE_DRAM].base); 1105b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, nodename); 1115b4beba1SMichael Clark qemu_fdt_setprop_cells(fdt, nodename, "reg", 1125b4beba1SMichael Clark memmap[SPIKE_DRAM].base >> 32, memmap[SPIKE_DRAM].base, 1135b4beba1SMichael Clark mem_size >> 32, mem_size); 1145b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "device_type", "memory"); 1155b4beba1SMichael Clark g_free(nodename); 1165b4beba1SMichael Clark 1175b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/cpus"); 118*2a8756edSMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "timebase-frequency", 119*2a8756edSMichael Clark SIFIVE_CLINT_TIMEBASE_FREQ); 1205b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "#size-cells", 0x0); 1215b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "#address-cells", 0x1); 1225b4beba1SMichael Clark 1235b4beba1SMichael Clark for (cpu = s->soc.num_harts - 1; cpu >= 0; cpu--) { 1245b4beba1SMichael Clark nodename = g_strdup_printf("/cpus/cpu@%d", cpu); 1255b4beba1SMichael Clark char *intc = g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu); 1265b4beba1SMichael Clark char *isa = riscv_isa_string(&s->soc.harts[cpu]); 1275b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, nodename); 128*2a8756edSMichael Clark qemu_fdt_setprop_cell(fdt, nodename, "clock-frequency", 129*2a8756edSMichael Clark SPIKE_CLOCK_FREQ); 1305b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "mmu-type", "riscv,sv48"); 1315b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "riscv,isa", isa); 1325b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv"); 1335b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "status", "okay"); 1345b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, nodename, "reg", cpu); 1355b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "device_type", "cpu"); 1365b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, intc); 1375b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, intc, "phandle", 1); 1385b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, intc, "linux,phandle", 1); 1395b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, intc, "compatible", "riscv,cpu-intc"); 1405b4beba1SMichael Clark qemu_fdt_setprop(fdt, intc, "interrupt-controller", NULL, 0); 1415b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, intc, "#interrupt-cells", 1); 1425b4beba1SMichael Clark g_free(isa); 1435b4beba1SMichael Clark g_free(intc); 1445b4beba1SMichael Clark g_free(nodename); 1455b4beba1SMichael Clark } 1465b4beba1SMichael Clark 1475b4beba1SMichael Clark cells = g_new0(uint32_t, s->soc.num_harts * 4); 1485b4beba1SMichael Clark for (cpu = 0; cpu < s->soc.num_harts; cpu++) { 1495b4beba1SMichael Clark nodename = 1505b4beba1SMichael Clark g_strdup_printf("/cpus/cpu@%d/interrupt-controller", cpu); 1515b4beba1SMichael Clark uint32_t intc_phandle = qemu_fdt_get_phandle(fdt, nodename); 1525b4beba1SMichael Clark cells[cpu * 4 + 0] = cpu_to_be32(intc_phandle); 1535b4beba1SMichael Clark cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT); 1545b4beba1SMichael Clark cells[cpu * 4 + 2] = cpu_to_be32(intc_phandle); 1555b4beba1SMichael Clark cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER); 1565b4beba1SMichael Clark g_free(nodename); 1575b4beba1SMichael Clark } 1585b4beba1SMichael Clark nodename = g_strdup_printf("/soc/clint@%lx", 1595b4beba1SMichael Clark (long)memmap[SPIKE_CLINT].base); 1605b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, nodename); 1615b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, nodename, "compatible", "riscv,clint0"); 1625b4beba1SMichael Clark qemu_fdt_setprop_cells(fdt, nodename, "reg", 1635b4beba1SMichael Clark 0x0, memmap[SPIKE_CLINT].base, 1645b4beba1SMichael Clark 0x0, memmap[SPIKE_CLINT].size); 1655b4beba1SMichael Clark qemu_fdt_setprop(fdt, nodename, "interrupts-extended", 1665b4beba1SMichael Clark cells, s->soc.num_harts * sizeof(uint32_t) * 4); 1675b4beba1SMichael Clark g_free(cells); 1685b4beba1SMichael Clark g_free(nodename); 1695b4beba1SMichael Clark 1705b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/chosen"); 1715b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", cmdline); 1725b4beba1SMichael Clark } 1735b4beba1SMichael Clark 1745b4beba1SMichael Clark static void spike_v1_10_0_board_init(MachineState *machine) 1755b4beba1SMichael Clark { 1765b4beba1SMichael Clark const struct MemmapEntry *memmap = spike_memmap; 1775b4beba1SMichael Clark 1785b4beba1SMichael Clark SpikeState *s = g_new0(SpikeState, 1); 1795b4beba1SMichael Clark MemoryRegion *system_memory = get_system_memory(); 1805b4beba1SMichael Clark MemoryRegion *main_mem = g_new(MemoryRegion, 1); 1815b4beba1SMichael Clark MemoryRegion *boot_rom = g_new(MemoryRegion, 1); 1825b4beba1SMichael Clark 1835b4beba1SMichael Clark /* Initialize SOC */ 1845b4beba1SMichael Clark object_initialize(&s->soc, sizeof(s->soc), TYPE_RISCV_HART_ARRAY); 1855b4beba1SMichael Clark object_property_add_child(OBJECT(machine), "soc", OBJECT(&s->soc), 1865b4beba1SMichael Clark &error_abort); 1875b4beba1SMichael Clark object_property_set_str(OBJECT(&s->soc), SPIKE_V1_10_0_CPU, "cpu-type", 1885b4beba1SMichael Clark &error_abort); 1895b4beba1SMichael Clark object_property_set_int(OBJECT(&s->soc), smp_cpus, "num-harts", 1905b4beba1SMichael Clark &error_abort); 1915b4beba1SMichael Clark object_property_set_bool(OBJECT(&s->soc), true, "realized", 1925b4beba1SMichael Clark &error_abort); 1935b4beba1SMichael Clark 1945b4beba1SMichael Clark /* register system main memory (actual RAM) */ 1955b4beba1SMichael Clark memory_region_init_ram(main_mem, NULL, "riscv.spike.ram", 1965b4beba1SMichael Clark machine->ram_size, &error_fatal); 1975b4beba1SMichael Clark memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base, 1985b4beba1SMichael Clark main_mem); 1995b4beba1SMichael Clark 2005b4beba1SMichael Clark /* create device tree */ 2015b4beba1SMichael Clark create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline); 2025b4beba1SMichael Clark 2035b4beba1SMichael Clark /* boot rom */ 2045b4beba1SMichael Clark memory_region_init_ram(boot_rom, NULL, "riscv.spike.bootrom", 2055b4beba1SMichael Clark s->fdt_size + 0x2000, &error_fatal); 2065b4beba1SMichael Clark memory_region_add_subregion(system_memory, 0x0, boot_rom); 2075b4beba1SMichael Clark 2085b4beba1SMichael Clark if (machine->kernel_filename) { 2095b4beba1SMichael Clark load_kernel(machine->kernel_filename); 2105b4beba1SMichael Clark } 2115b4beba1SMichael Clark 2125b4beba1SMichael Clark /* reset vector */ 2135b4beba1SMichael Clark uint32_t reset_vec[8] = { 2145b4beba1SMichael Clark 0x00000297, /* 1: auipc t0, %pcrel_hi(dtb) */ 2155b4beba1SMichael Clark 0x02028593, /* addi a1, t0, %pcrel_lo(1b) */ 2165b4beba1SMichael Clark 0xf1402573, /* csrr a0, mhartid */ 2175b4beba1SMichael Clark #if defined(TARGET_RISCV32) 2185b4beba1SMichael Clark 0x0182a283, /* lw t0, 24(t0) */ 2195b4beba1SMichael Clark #elif defined(TARGET_RISCV64) 2205b4beba1SMichael Clark 0x0182b283, /* ld t0, 24(t0) */ 2215b4beba1SMichael Clark #endif 2225b4beba1SMichael Clark 0x00028067, /* jr t0 */ 2235b4beba1SMichael Clark 0x00000000, 2245b4beba1SMichael Clark memmap[SPIKE_DRAM].base, /* start: .dword DRAM_BASE */ 2255b4beba1SMichael Clark 0x00000000, 2265b4beba1SMichael Clark /* dtb: */ 2275b4beba1SMichael Clark }; 2285b4beba1SMichael Clark 2295b4beba1SMichael Clark /* copy in the reset vector */ 2305b4beba1SMichael Clark copy_le32_to_phys(memmap[SPIKE_MROM].base, reset_vec, sizeof(reset_vec)); 2315b4beba1SMichael Clark 2325b4beba1SMichael Clark /* copy in the device tree */ 2335b4beba1SMichael Clark qemu_fdt_dumpdtb(s->fdt, s->fdt_size); 2345b4beba1SMichael Clark cpu_physical_memory_write(memmap[SPIKE_MROM].base + sizeof(reset_vec), 2355b4beba1SMichael Clark s->fdt, s->fdt_size); 2365b4beba1SMichael Clark 2375b4beba1SMichael Clark /* initialize HTIF using symbols found in load_kernel */ 2389bca0edbSPeter Maydell htif_mm_init(system_memory, boot_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); 2525b4beba1SMichael Clark MemoryRegion *boot_rom = g_new(MemoryRegion, 1); 2535b4beba1SMichael Clark 2545b4beba1SMichael Clark /* Initialize SOC */ 2555b4beba1SMichael Clark object_initialize(&s->soc, sizeof(s->soc), TYPE_RISCV_HART_ARRAY); 2565b4beba1SMichael Clark object_property_add_child(OBJECT(machine), "soc", OBJECT(&s->soc), 2575b4beba1SMichael Clark &error_abort); 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 */ 2725b4beba1SMichael Clark memory_region_init_ram(boot_rom, NULL, "riscv.spike.bootrom", 2735b4beba1SMichael Clark 0x40000, &error_fatal); 2745b4beba1SMichael Clark memory_region_add_subregion(system_memory, 0x0, boot_rom); 2755b4beba1SMichael Clark 2765b4beba1SMichael Clark if (machine->kernel_filename) { 2775b4beba1SMichael Clark load_kernel(machine->kernel_filename); 2785b4beba1SMichael Clark } 2795b4beba1SMichael Clark 2805b4beba1SMichael Clark /* reset vector */ 2815b4beba1SMichael Clark uint32_t reset_vec[8] = { 2825b4beba1SMichael Clark 0x297 + memmap[SPIKE_DRAM].base - memmap[SPIKE_MROM].base, /* lui */ 2835b4beba1SMichael Clark 0x00028067, /* jump to DRAM_BASE */ 2845b4beba1SMichael Clark 0x00000000, /* reserved */ 2855b4beba1SMichael Clark memmap[SPIKE_MROM].base + sizeof(reset_vec), /* config string pointer */ 2865b4beba1SMichael Clark 0, 0, 0, 0 /* trap vector */ 2875b4beba1SMichael Clark }; 2885b4beba1SMichael Clark 2895b4beba1SMichael Clark /* part one of config string - before memory size specified */ 2905b4beba1SMichael Clark const char *config_string_tmpl = 2915b4beba1SMichael Clark "platform {\n" 2925b4beba1SMichael Clark " vendor ucb;\n" 2935b4beba1SMichael Clark " arch spike;\n" 2945b4beba1SMichael Clark "};\n" 2955b4beba1SMichael Clark "rtc {\n" 2965b4beba1SMichael Clark " addr 0x%" PRIx64 "x;\n" 2975b4beba1SMichael Clark "};\n" 2985b4beba1SMichael Clark "ram {\n" 2995b4beba1SMichael Clark " 0 {\n" 3005b4beba1SMichael Clark " addr 0x%" PRIx64 "x;\n" 3015b4beba1SMichael Clark " size 0x%" PRIx64 "x;\n" 3025b4beba1SMichael Clark " };\n" 3035b4beba1SMichael Clark "};\n" 3045b4beba1SMichael Clark "core {\n" 3055b4beba1SMichael Clark " 0" " {\n" 3065b4beba1SMichael Clark " " "0 {\n" 3075b4beba1SMichael Clark " isa %s;\n" 3085b4beba1SMichael Clark " timecmp 0x%" PRIx64 "x;\n" 3095b4beba1SMichael Clark " ipi 0x%" PRIx64 "x;\n" 3105b4beba1SMichael Clark " };\n" 3115b4beba1SMichael Clark " };\n" 3125b4beba1SMichael Clark "};\n"; 3135b4beba1SMichael Clark 3145b4beba1SMichael Clark /* build config string with supplied memory size */ 3155b4beba1SMichael Clark char *isa = riscv_isa_string(&s->soc.harts[0]); 3165b4beba1SMichael Clark size_t config_string_size = strlen(config_string_tmpl) + 48; 3175b4beba1SMichael Clark char *config_string = malloc(config_string_size); 3185b4beba1SMichael Clark snprintf(config_string, config_string_size, config_string_tmpl, 3195b4beba1SMichael Clark (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIME_BASE, 3205b4beba1SMichael Clark (uint64_t)memmap[SPIKE_DRAM].base, 3215b4beba1SMichael Clark (uint64_t)ram_size, isa, 3225b4beba1SMichael Clark (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_TIMECMP_BASE, 3235b4beba1SMichael Clark (uint64_t)memmap[SPIKE_CLINT].base + SIFIVE_SIP_BASE); 3245b4beba1SMichael Clark g_free(isa); 3255b4beba1SMichael Clark size_t config_string_len = strlen(config_string); 3265b4beba1SMichael Clark 3275b4beba1SMichael Clark /* copy in the reset vector */ 3285b4beba1SMichael Clark copy_le32_to_phys(memmap[SPIKE_MROM].base, reset_vec, sizeof(reset_vec)); 3295b4beba1SMichael Clark 3305b4beba1SMichael Clark /* copy in the config string */ 3315b4beba1SMichael Clark cpu_physical_memory_write(memmap[SPIKE_MROM].base + sizeof(reset_vec), 3325b4beba1SMichael Clark config_string, config_string_len); 3335b4beba1SMichael Clark 3345b4beba1SMichael Clark /* initialize HTIF using symbols found in load_kernel */ 3359bca0edbSPeter Maydell htif_mm_init(system_memory, boot_rom, &s->soc.harts[0].env, serial_hd(0)); 3365b4beba1SMichael Clark 3375b4beba1SMichael Clark /* Core Local Interruptor (timer and IPI) */ 3385b4beba1SMichael Clark sifive_clint_create(memmap[SPIKE_CLINT].base, memmap[SPIKE_CLINT].size, 3395b4beba1SMichael Clark smp_cpus, SIFIVE_SIP_BASE, SIFIVE_TIMECMP_BASE, SIFIVE_TIME_BASE); 3405b4beba1SMichael Clark } 3415b4beba1SMichael Clark 3425b4beba1SMichael Clark static const TypeInfo spike_v_1_09_1_device = { 3435b4beba1SMichael Clark .name = TYPE_RISCV_SPIKE_V1_09_1_BOARD, 3445b4beba1SMichael Clark .parent = TYPE_SYS_BUS_DEVICE, 3455b4beba1SMichael Clark .instance_size = sizeof(SpikeState), 3465b4beba1SMichael Clark }; 3475b4beba1SMichael Clark 3485b4beba1SMichael Clark static const TypeInfo spike_v_1_10_0_device = { 3495b4beba1SMichael Clark .name = TYPE_RISCV_SPIKE_V1_10_0_BOARD, 3505b4beba1SMichael Clark .parent = TYPE_SYS_BUS_DEVICE, 3515b4beba1SMichael Clark .instance_size = sizeof(SpikeState), 3525b4beba1SMichael Clark }; 3535b4beba1SMichael Clark 3545b4beba1SMichael Clark static void spike_v1_09_1_machine_init(MachineClass *mc) 3555b4beba1SMichael Clark { 3565b4beba1SMichael Clark mc->desc = "RISC-V Spike Board (Privileged ISA v1.9.1)"; 3575b4beba1SMichael Clark mc->init = spike_v1_09_1_board_init; 3585b4beba1SMichael Clark mc->max_cpus = 1; 3595b4beba1SMichael Clark } 3605b4beba1SMichael Clark 3615b4beba1SMichael Clark static void spike_v1_10_0_machine_init(MachineClass *mc) 3625b4beba1SMichael Clark { 3635b4beba1SMichael Clark mc->desc = "RISC-V Spike Board (Privileged ISA v1.10)"; 3645b4beba1SMichael Clark mc->init = spike_v1_10_0_board_init; 3655b4beba1SMichael Clark mc->max_cpus = 1; 3665b4beba1SMichael Clark mc->is_default = 1; 3675b4beba1SMichael Clark } 3685b4beba1SMichael Clark 3695b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.9.1", spike_v1_09_1_machine_init) 3705b4beba1SMichael Clark DEFINE_MACHINE("spike_v1.10", spike_v1_10_0_machine_init) 3715b4beba1SMichael Clark 3725b4beba1SMichael Clark static void riscv_spike_board_register_types(void) 3735b4beba1SMichael Clark { 3745b4beba1SMichael Clark type_register_static(&spike_v_1_09_1_device); 3755b4beba1SMichael Clark type_register_static(&spike_v_1_10_0_device); 3765b4beba1SMichael Clark } 3775b4beba1SMichael Clark 3785b4beba1SMichael Clark type_init(riscv_spike_board_register_types); 379