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 * 125b4beba1SMichael Clark * This program is free software; you can redistribute it and/or modify it 135b4beba1SMichael Clark * under the terms and conditions of the GNU General Public License, 145b4beba1SMichael Clark * version 2 or later, as published by the Free Software Foundation. 155b4beba1SMichael Clark * 165b4beba1SMichael Clark * This program is distributed in the hope it will be useful, but WITHOUT 175b4beba1SMichael Clark * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 185b4beba1SMichael Clark * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 195b4beba1SMichael Clark * more details. 205b4beba1SMichael Clark * 215b4beba1SMichael Clark * You should have received a copy of the GNU General Public License along with 225b4beba1SMichael Clark * this program. If not, see <http://www.gnu.org/licenses/>. 235b4beba1SMichael Clark */ 245b4beba1SMichael Clark 255b4beba1SMichael Clark #include "qemu/osdep.h" 265b4beba1SMichael Clark #include "qemu/error-report.h" 275b4beba1SMichael Clark #include "qapi/error.h" 285b4beba1SMichael Clark #include "hw/boards.h" 295b4beba1SMichael Clark #include "hw/loader.h" 305b4beba1SMichael Clark #include "hw/sysbus.h" 315b4beba1SMichael Clark #include "target/riscv/cpu.h" 325b4beba1SMichael Clark #include "hw/riscv/riscv_hart.h" 335b4beba1SMichael Clark #include "hw/riscv/spike.h" 340ac24d56SAlistair Francis #include "hw/riscv/boot.h" 35a7172791SAnup Patel #include "hw/riscv/numa.h" 3670eb9f9cSBin Meng #include "hw/char/riscv_htif.h" 37cc63a182SAnup Patel #include "hw/intc/riscv_aclint.h" 385b4beba1SMichael Clark #include "chardev/char.h" 395b4beba1SMichael Clark #include "sysemu/device_tree.h" 4046517dd4SMarkus Armbruster #include "sysemu/sysemu.h" 415aec3247SMichael Clark 42719b718cSDaniel Henrique Barboza #include <libfdt.h> 43719b718cSDaniel Henrique Barboza 4473261285SBin Meng static const MemMapEntry spike_memmap[] = { 459eb8b14aSBin Meng [SPIKE_MROM] = { 0x1000, 0xf000 }, 468d8897acSAnup Patel [SPIKE_HTIF] = { 0x1000000, 0x1000 }, 475b4beba1SMichael Clark [SPIKE_CLINT] = { 0x2000000, 0x10000 }, 485b4beba1SMichael Clark [SPIKE_DRAM] = { 0x80000000, 0x0 }, 495b4beba1SMichael Clark }; 505b4beba1SMichael Clark 5173261285SBin Meng static void create_fdt(SpikeState *s, const MemMapEntry *memmap, 5271d68c48SBin Meng uint64_t mem_size, const char *cmdline, 5371d68c48SBin Meng bool is_32_bit, bool htif_custom_base) 545b4beba1SMichael Clark { 555b4beba1SMichael Clark void *fdt; 563139929dSDaniel Henrique Barboza int fdt_size; 57a7172791SAnup Patel uint64_t addr, size; 58a7172791SAnup Patel unsigned long clint_addr; 59a7172791SAnup Patel int cpu, socket; 60a7172791SAnup Patel MachineState *mc = MACHINE(s); 61a7172791SAnup Patel uint32_t *clint_cells; 62a7172791SAnup Patel uint32_t cpu_phandle, intc_phandle, phandle = 1; 63a7172791SAnup Patel char *name, *mem_name, *clint_name, *clust_name; 64a7172791SAnup Patel char *core_name, *cpu_name, *intc_name; 657cfbb17fSBin Meng static const char * const clint_compat[2] = { 667cfbb17fSBin Meng "sifive,clint0", "riscv,clint0" 677cfbb17fSBin Meng }; 685b4beba1SMichael Clark 693139929dSDaniel Henrique Barboza fdt = mc->fdt = create_device_tree(&fdt_size); 705b4beba1SMichael Clark if (!fdt) { 715b4beba1SMichael Clark error_report("create_device_tree() failed"); 725b4beba1SMichael Clark exit(1); 735b4beba1SMichael Clark } 745b4beba1SMichael Clark 755b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/", "model", "ucbbar,spike-bare,qemu"); 765b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/", "compatible", "ucbbar,spike-bare-dev"); 775b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/", "#size-cells", 0x2); 785b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/", "#address-cells", 0x2); 795b4beba1SMichael Clark 805b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/htif"); 815b4beba1SMichael Clark qemu_fdt_setprop_string(fdt, "/htif", "compatible", "ucb,htif0"); 8271d68c48SBin Meng if (htif_custom_base) { 838d8897acSAnup Patel qemu_fdt_setprop_cells(fdt, "/htif", "reg", 848d8897acSAnup Patel 0x0, memmap[SPIKE_HTIF].base, 0x0, memmap[SPIKE_HTIF].size); 858d8897acSAnup Patel } 865b4beba1SMichael Clark 875b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/soc"); 885b4beba1SMichael Clark qemu_fdt_setprop(fdt, "/soc", "ranges", NULL, 0); 89117caacfSAlistair Francis qemu_fdt_setprop_string(fdt, "/soc", "compatible", "simple-bus"); 905b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/soc", "#size-cells", 0x2); 915b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/soc", "#address-cells", 0x2); 925b4beba1SMichael Clark 935b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/cpus"); 942a8756edSMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "timebase-frequency", 95b8fb878aSAnup Patel RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ); 965b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "#size-cells", 0x0); 975b4beba1SMichael Clark qemu_fdt_setprop_cell(fdt, "/cpus", "#address-cells", 0x1); 98a7172791SAnup Patel qemu_fdt_add_subnode(fdt, "/cpus/cpu-map"); 995b4beba1SMichael Clark 100a7172791SAnup Patel for (socket = (riscv_socket_count(mc) - 1); socket >= 0; socket--) { 101a7172791SAnup Patel clust_name = g_strdup_printf("/cpus/cpu-map/cluster%d", socket); 102a7172791SAnup Patel qemu_fdt_add_subnode(fdt, clust_name); 103a7172791SAnup Patel 104a7172791SAnup Patel clint_cells = g_new0(uint32_t, s->soc[socket].num_harts * 4); 105a7172791SAnup Patel 106a7172791SAnup Patel for (cpu = s->soc[socket].num_harts - 1; cpu >= 0; cpu--) { 107a7172791SAnup Patel cpu_phandle = phandle++; 108a7172791SAnup Patel 109a7172791SAnup Patel cpu_name = g_strdup_printf("/cpus/cpu@%d", 110a7172791SAnup Patel s->soc[socket].hartid_base + cpu); 111a7172791SAnup Patel qemu_fdt_add_subnode(fdt, cpu_name); 112bd62c13eSAlistair Francis if (is_32_bit) { 113a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "mmu-type", "riscv,sv32"); 114bd62c13eSAlistair Francis } else { 115a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "mmu-type", "riscv,sv48"); 116bd62c13eSAlistair Francis } 117a7172791SAnup Patel name = riscv_isa_string(&s->soc[socket].harts[cpu]); 118a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "riscv,isa", name); 119a7172791SAnup Patel g_free(name); 120a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "compatible", "riscv"); 121a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "status", "okay"); 122a7172791SAnup Patel qemu_fdt_setprop_cell(fdt, cpu_name, "reg", 123a7172791SAnup Patel s->soc[socket].hartid_base + cpu); 124a7172791SAnup Patel qemu_fdt_setprop_string(fdt, cpu_name, "device_type", "cpu"); 125a7172791SAnup Patel riscv_socket_fdt_write_id(mc, fdt, cpu_name, socket); 126a7172791SAnup Patel qemu_fdt_setprop_cell(fdt, cpu_name, "phandle", cpu_phandle); 127a7172791SAnup Patel 128a7172791SAnup Patel intc_name = g_strdup_printf("%s/interrupt-controller", cpu_name); 129a7172791SAnup Patel qemu_fdt_add_subnode(fdt, intc_name); 130a7172791SAnup Patel intc_phandle = phandle++; 131a7172791SAnup Patel qemu_fdt_setprop_cell(fdt, intc_name, "phandle", intc_phandle); 132a7172791SAnup Patel qemu_fdt_setprop_string(fdt, intc_name, "compatible", 133a7172791SAnup Patel "riscv,cpu-intc"); 134a7172791SAnup Patel qemu_fdt_setprop(fdt, intc_name, "interrupt-controller", NULL, 0); 135a7172791SAnup Patel qemu_fdt_setprop_cell(fdt, intc_name, "#interrupt-cells", 1); 136a7172791SAnup Patel 137a7172791SAnup Patel clint_cells[cpu * 4 + 0] = cpu_to_be32(intc_phandle); 138a7172791SAnup Patel clint_cells[cpu * 4 + 1] = cpu_to_be32(IRQ_M_SOFT); 139a7172791SAnup Patel clint_cells[cpu * 4 + 2] = cpu_to_be32(intc_phandle); 140a7172791SAnup Patel clint_cells[cpu * 4 + 3] = cpu_to_be32(IRQ_M_TIMER); 141a7172791SAnup Patel 142a7172791SAnup Patel core_name = g_strdup_printf("%s/core%d", clust_name, cpu); 143a7172791SAnup Patel qemu_fdt_add_subnode(fdt, core_name); 144a7172791SAnup Patel qemu_fdt_setprop_cell(fdt, core_name, "cpu", cpu_phandle); 145a7172791SAnup Patel 146a7172791SAnup Patel g_free(core_name); 147a7172791SAnup Patel g_free(intc_name); 148a7172791SAnup Patel g_free(cpu_name); 1495b4beba1SMichael Clark } 1505b4beba1SMichael Clark 151a7172791SAnup Patel addr = memmap[SPIKE_DRAM].base + riscv_socket_mem_offset(mc, socket); 152a7172791SAnup Patel size = riscv_socket_mem_size(mc, socket); 153a7172791SAnup Patel mem_name = g_strdup_printf("/memory@%lx", (long)addr); 154a7172791SAnup Patel qemu_fdt_add_subnode(fdt, mem_name); 155a7172791SAnup Patel qemu_fdt_setprop_cells(fdt, mem_name, "reg", 156a7172791SAnup Patel addr >> 32, addr, size >> 32, size); 157a7172791SAnup Patel qemu_fdt_setprop_string(fdt, mem_name, "device_type", "memory"); 158a7172791SAnup Patel riscv_socket_fdt_write_id(mc, fdt, mem_name, socket); 159a7172791SAnup Patel g_free(mem_name); 160a7172791SAnup Patel 161a7172791SAnup Patel clint_addr = memmap[SPIKE_CLINT].base + 162a7172791SAnup Patel (memmap[SPIKE_CLINT].size * socket); 163a7172791SAnup Patel clint_name = g_strdup_printf("/soc/clint@%lx", clint_addr); 164a7172791SAnup Patel qemu_fdt_add_subnode(fdt, clint_name); 1657cfbb17fSBin Meng qemu_fdt_setprop_string_array(fdt, clint_name, "compatible", 1667cfbb17fSBin Meng (char **)&clint_compat, ARRAY_SIZE(clint_compat)); 167a7172791SAnup Patel qemu_fdt_setprop_cells(fdt, clint_name, "reg", 168a7172791SAnup Patel 0x0, clint_addr, 0x0, memmap[SPIKE_CLINT].size); 169a7172791SAnup Patel qemu_fdt_setprop(fdt, clint_name, "interrupts-extended", 170a7172791SAnup Patel clint_cells, s->soc[socket].num_harts * sizeof(uint32_t) * 4); 171a7172791SAnup Patel riscv_socket_fdt_write_id(mc, fdt, clint_name, socket); 172a7172791SAnup Patel 173a7172791SAnup Patel g_free(clint_name); 174a7172791SAnup Patel g_free(clint_cells); 175a7172791SAnup Patel g_free(clust_name); 1765b4beba1SMichael Clark } 177a7172791SAnup Patel 178a7172791SAnup Patel riscv_socket_fdt_write_distance_matrix(mc, fdt); 1795b4beba1SMichael Clark 1805b4beba1SMichael Clark qemu_fdt_add_subnode(fdt, "/chosen"); 1818d8897acSAnup Patel qemu_fdt_setprop_string(fdt, "/chosen", "stdout-path", "/htif"); 1826d3b9c02SBin Meng 18358303fc0SBin Meng if (cmdline && *cmdline) { 1846d3b9c02SBin Meng qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", cmdline); 1855b4beba1SMichael Clark } 1867c28f4daSMichael Clark } 1875b4beba1SMichael Clark 18871d68c48SBin Meng static bool spike_test_elf_image(char *filename) 18971d68c48SBin Meng { 19071d68c48SBin Meng Error *err = NULL; 19171d68c48SBin Meng 19271d68c48SBin Meng load_elf_hdr(filename, NULL, NULL, &err); 19371d68c48SBin Meng if (err) { 19471d68c48SBin Meng error_free(err); 19571d68c48SBin Meng return false; 19671d68c48SBin Meng } else { 19771d68c48SBin Meng return true; 19871d68c48SBin Meng } 19971d68c48SBin Meng } 20071d68c48SBin Meng 201cd69e3a6SAlistair Francis static void spike_board_init(MachineState *machine) 202cd69e3a6SAlistair Francis { 20373261285SBin Meng const MemMapEntry *memmap = spike_memmap; 204a7172791SAnup Patel SpikeState *s = SPIKE_MACHINE(machine); 205cd69e3a6SAlistair Francis MemoryRegion *system_memory = get_system_memory(); 206cd69e3a6SAlistair Francis MemoryRegion *mask_rom = g_new(MemoryRegion, 1); 20771d68c48SBin Meng target_ulong firmware_end_addr = memmap[SPIKE_DRAM].base; 20871d68c48SBin Meng target_ulong kernel_start_addr; 20971d68c48SBin Meng char *firmware_name; 21066b1205bSAtish Patra uint32_t fdt_load_addr; 211dc144fe1SAtish Patra uint64_t kernel_entry; 212a7172791SAnup Patel char *soc_name; 213a7172791SAnup Patel int i, base_hartid, hart_count; 21471d68c48SBin Meng bool htif_custom_base = false; 215cd69e3a6SAlistair Francis 216a7172791SAnup Patel /* Check socket count limit */ 217a7172791SAnup Patel if (SPIKE_SOCKETS_MAX < riscv_socket_count(machine)) { 218a7172791SAnup Patel error_report("number of sockets/nodes should be less than %d", 219a7172791SAnup Patel SPIKE_SOCKETS_MAX); 220a7172791SAnup Patel exit(1); 221a7172791SAnup Patel } 222a7172791SAnup Patel 223a7172791SAnup Patel /* Initialize sockets */ 224a7172791SAnup Patel for (i = 0; i < riscv_socket_count(machine); i++) { 225a7172791SAnup Patel if (!riscv_socket_check_hartids(machine, i)) { 226a7172791SAnup Patel error_report("discontinuous hartids in socket%d", i); 227a7172791SAnup Patel exit(1); 228a7172791SAnup Patel } 229a7172791SAnup Patel 230a7172791SAnup Patel base_hartid = riscv_socket_first_hartid(machine, i); 231a7172791SAnup Patel if (base_hartid < 0) { 232a7172791SAnup Patel error_report("can't find hartid base for socket%d", i); 233a7172791SAnup Patel exit(1); 234a7172791SAnup Patel } 235a7172791SAnup Patel 236a7172791SAnup Patel hart_count = riscv_socket_hart_count(machine, i); 237a7172791SAnup Patel if (hart_count < 0) { 238a7172791SAnup Patel error_report("can't find hart count for socket%d", i); 239a7172791SAnup Patel exit(1); 240a7172791SAnup Patel } 241a7172791SAnup Patel 242a7172791SAnup Patel soc_name = g_strdup_printf("soc%d", i); 243a7172791SAnup Patel object_initialize_child(OBJECT(machine), soc_name, &s->soc[i], 24475a6ed87SMarkus Armbruster TYPE_RISCV_HART_ARRAY); 245a7172791SAnup Patel g_free(soc_name); 246a7172791SAnup Patel object_property_set_str(OBJECT(&s->soc[i]), "cpu-type", 247a7172791SAnup Patel machine->cpu_type, &error_abort); 248a7172791SAnup Patel object_property_set_int(OBJECT(&s->soc[i]), "hartid-base", 249a7172791SAnup Patel base_hartid, &error_abort); 250a7172791SAnup Patel object_property_set_int(OBJECT(&s->soc[i]), "num-harts", 251a7172791SAnup Patel hart_count, &error_abort); 2524bcfc391STsukasa OI sysbus_realize(SYS_BUS_DEVICE(&s->soc[i]), &error_fatal); 253a7172791SAnup Patel 254a7172791SAnup Patel /* Core Local Interruptor (timer and IPI) for each socket */ 255b8fb878aSAnup Patel riscv_aclint_swi_create( 256a7172791SAnup Patel memmap[SPIKE_CLINT].base + i * memmap[SPIKE_CLINT].size, 257b8fb878aSAnup Patel base_hartid, hart_count, false); 258b8fb878aSAnup Patel riscv_aclint_mtimer_create( 259b8fb878aSAnup Patel memmap[SPIKE_CLINT].base + i * memmap[SPIKE_CLINT].size + 260b8fb878aSAnup Patel RISCV_ACLINT_SWI_SIZE, 261b8fb878aSAnup Patel RISCV_ACLINT_DEFAULT_MTIMER_SIZE, base_hartid, hart_count, 262b8fb878aSAnup Patel RISCV_ACLINT_DEFAULT_MTIMECMP, RISCV_ACLINT_DEFAULT_MTIME, 263b8fb878aSAnup Patel RISCV_ACLINT_DEFAULT_TIMEBASE_FREQ, false); 264a7172791SAnup Patel } 265cd69e3a6SAlistair Francis 266cd69e3a6SAlistair Francis /* register system main memory (actual RAM) */ 267cd69e3a6SAlistair Francis memory_region_add_subregion(system_memory, memmap[SPIKE_DRAM].base, 26811ec06f9SBin Meng machine->ram); 269cd69e3a6SAlistair Francis 270cd69e3a6SAlistair Francis /* boot rom */ 271cd69e3a6SAlistair Francis memory_region_init_rom(mask_rom, NULL, "riscv.spike.mrom", 272cd69e3a6SAlistair Francis memmap[SPIKE_MROM].size, &error_fatal); 273cd69e3a6SAlistair Francis memory_region_add_subregion(system_memory, memmap[SPIKE_MROM].base, 274cd69e3a6SAlistair Francis mask_rom); 275cd69e3a6SAlistair Francis 27671d68c48SBin Meng /* Find firmware */ 27771d68c48SBin Meng firmware_name = riscv_find_firmware(machine->firmware, 27871d68c48SBin Meng riscv_default_firmware_name(&s->soc[0])); 27971d68c48SBin Meng 28071d68c48SBin Meng /* 28171d68c48SBin Meng * Test the given firmware or kernel file to see if it is an ELF image. 28271d68c48SBin Meng * If it is an ELF, we assume it contains the symbols required for 28371d68c48SBin Meng * the HTIF console, otherwise we fall back to use the custom base 28471d68c48SBin Meng * passed from device tree for the HTIF console. 28571d68c48SBin Meng */ 28671d68c48SBin Meng if (!firmware_name && !machine->kernel_filename) { 28771d68c48SBin Meng htif_custom_base = true; 28871d68c48SBin Meng } else { 28971d68c48SBin Meng if (firmware_name) { 29071d68c48SBin Meng htif_custom_base = !spike_test_elf_image(firmware_name); 29171d68c48SBin Meng } 29271d68c48SBin Meng if (!htif_custom_base && machine->kernel_filename) { 29371d68c48SBin Meng htif_custom_base = !spike_test_elf_image(machine->kernel_filename); 29471d68c48SBin Meng } 29571d68c48SBin Meng } 29671d68c48SBin Meng 29771d68c48SBin Meng /* Load firmware */ 29871d68c48SBin Meng if (firmware_name) { 29971d68c48SBin Meng firmware_end_addr = riscv_load_firmware(firmware_name, 3009d3f7108SDaniel Henrique Barboza memmap[SPIKE_DRAM].base, 3015b8a9863SAnup Patel htif_symbol_callback); 30271d68c48SBin Meng g_free(firmware_name); 30371d68c48SBin Meng } 3045b8a9863SAnup Patel 305*c44df400SDaniel Henrique Barboza /* Create device tree */ 306*c44df400SDaniel Henrique Barboza create_fdt(s, memmap, machine->ram_size, machine->kernel_cmdline, 307*c44df400SDaniel Henrique Barboza riscv_is_32bit(&s->soc[0]), htif_custom_base); 308*c44df400SDaniel Henrique Barboza 3098d8897acSAnup Patel /* Load kernel */ 310cd69e3a6SAlistair Francis if (machine->kernel_filename) { 311a8259b53SAlistair Francis kernel_start_addr = riscv_calc_kernel_start_addr(&s->soc[0], 31238bc4e34SAlistair Francis firmware_end_addr); 31338bc4e34SAlistair Francis 314dc144fe1SAtish Patra kernel_entry = riscv_load_kernel(machine->kernel_filename, 31538bc4e34SAlistair Francis kernel_start_addr, 3165b8a9863SAnup Patel htif_symbol_callback); 3175b8a9863SAnup Patel 318*c44df400SDaniel Henrique Barboza if (machine->initrd_filename) { 3195b8a9863SAnup Patel hwaddr start; 3205b8a9863SAnup Patel hwaddr end = riscv_load_initrd(machine->initrd_filename, 3215b8a9863SAnup Patel machine->ram_size, kernel_entry, 3225b8a9863SAnup Patel &start); 3233139929dSDaniel Henrique Barboza qemu_fdt_setprop_cell(machine->fdt, "/chosen", 3245b8a9863SAnup Patel "linux,initrd-start", start); 3253139929dSDaniel Henrique Barboza qemu_fdt_setprop_cell(machine->fdt, "/chosen", "linux,initrd-end", 3265b8a9863SAnup Patel end); 3275b8a9863SAnup Patel } 328*c44df400SDaniel Henrique Barboza } else { 329*c44df400SDaniel Henrique Barboza /* 330*c44df400SDaniel Henrique Barboza * If dynamic firmware is used, it doesn't know where is the next mode 331*c44df400SDaniel Henrique Barboza * if kernel argument is not set. 332*c44df400SDaniel Henrique Barboza */ 333*c44df400SDaniel Henrique Barboza kernel_entry = 0; 334*c44df400SDaniel Henrique Barboza } 335cd69e3a6SAlistair Francis 33666b1205bSAtish Patra /* Compute the fdt load address in dram */ 33766b1205bSAtish Patra fdt_load_addr = riscv_load_fdt(memmap[SPIKE_DRAM].base, 3383139929dSDaniel Henrique Barboza machine->ram_size, machine->fdt); 339719b718cSDaniel Henrique Barboza 34043cf723aSAtish Patra /* load the reset vector */ 341a8259b53SAlistair Francis riscv_setup_rom_reset_vec(machine, &s->soc[0], memmap[SPIKE_DRAM].base, 34278936771SAlistair Francis memmap[SPIKE_MROM].base, 343dc144fe1SAtish Patra memmap[SPIKE_MROM].size, kernel_entry, 3446934f15bSDaniel Henrique Barboza fdt_load_addr); 345cd69e3a6SAlistair Francis 346cd69e3a6SAlistair Francis /* initialize HTIF using symbols found in load_kernel */ 34771d68c48SBin Meng htif_mm_init(system_memory, serial_hd(0), memmap[SPIKE_HTIF].base, 34871d68c48SBin Meng htif_custom_base); 349cd69e3a6SAlistair Francis } 350cd69e3a6SAlistair Francis 351a7172791SAnup Patel static void spike_machine_instance_init(Object *obj) 352cd69e3a6SAlistair Francis { 353a7172791SAnup Patel } 354a7172791SAnup Patel 355a7172791SAnup Patel static void spike_machine_class_init(ObjectClass *oc, void *data) 356a7172791SAnup Patel { 357a7172791SAnup Patel MachineClass *mc = MACHINE_CLASS(oc); 358a7172791SAnup Patel 359a7172791SAnup Patel mc->desc = "RISC-V Spike board"; 360cd69e3a6SAlistair Francis mc->init = spike_board_init; 361a7172791SAnup Patel mc->max_cpus = SPIKE_CPUS_MAX; 362ea0ac7f6SPhilippe Mathieu-Daudé mc->is_default = true; 363dc4d4aaeSAlistair Francis mc->default_cpu_type = TYPE_RISCV_CPU_BASE; 364a7172791SAnup Patel mc->possible_cpu_arch_ids = riscv_numa_possible_cpu_arch_ids; 365a7172791SAnup Patel mc->cpu_index_to_instance_props = riscv_numa_cpu_index_to_props; 366a7172791SAnup Patel mc->get_default_cpu_node_id = riscv_numa_get_default_cpu_node_id; 367a7172791SAnup Patel mc->numa_mem_supported = true; 36811ec06f9SBin Meng mc->default_ram_id = "riscv.spike.ram"; 3695b4beba1SMichael Clark } 3705b4beba1SMichael Clark 371a7172791SAnup Patel static const TypeInfo spike_machine_typeinfo = { 372a7172791SAnup Patel .name = MACHINE_TYPE_NAME("spike"), 373a7172791SAnup Patel .parent = TYPE_MACHINE, 374a7172791SAnup Patel .class_init = spike_machine_class_init, 375a7172791SAnup Patel .instance_init = spike_machine_instance_init, 376a7172791SAnup Patel .instance_size = sizeof(SpikeState), 377a7172791SAnup Patel }; 378a7172791SAnup Patel 379a7172791SAnup Patel static void spike_machine_init_register_types(void) 380a7172791SAnup Patel { 381a7172791SAnup Patel type_register_static(&spike_machine_typeinfo); 382a7172791SAnup Patel } 383a7172791SAnup Patel 384a7172791SAnup Patel type_init(spike_machine_init_register_types) 385