xref: /qemu/hw/riscv/spike.c (revision c44df400d9fc23d1d135f6aa723cb58ada858ee3)
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