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