xref: /openbmc/qemu/hw/xtensa/xtfpga.c (revision 073d9f2c)
1 /*
2  * Copyright (c) 2011, Max Filippov, Open Source and Linux Lab.
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions are met:
7  *     * Redistributions of source code must retain the above copyright
8  *       notice, this list of conditions and the following disclaimer.
9  *     * Redistributions in binary form must reproduce the above copyright
10  *       notice, this list of conditions and the following disclaimer in the
11  *       documentation and/or other materials provided with the distribution.
12  *     * Neither the name of the Open Source and Linux Lab nor the
13  *       names of its contributors may be used to endorse or promote products
14  *       derived from this software without specific prior written permission.
15  *
16  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
17  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19  * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
20  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
21  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
22  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
23  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
25  * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26  */
27 
28 #include "qemu/osdep.h"
29 #include "qemu/units.h"
30 #include "qapi/error.h"
31 #include "cpu.h"
32 #include "sysemu/sysemu.h"
33 #include "hw/boards.h"
34 #include "hw/loader.h"
35 #include "elf.h"
36 #include "exec/memory.h"
37 #include "exec/address-spaces.h"
38 #include "hw/char/serial.h"
39 #include "net/net.h"
40 #include "hw/sysbus.h"
41 #include "hw/block/flash.h"
42 #include "chardev/char.h"
43 #include "sysemu/device_tree.h"
44 #include "qemu/error-report.h"
45 #include "qemu/option.h"
46 #include "bootparam.h"
47 #include "xtensa_memory.h"
48 
49 typedef struct XtfpgaFlashDesc {
50     hwaddr base;
51     size_t size;
52     size_t boot_base;
53     size_t sector_size;
54 } XtfpgaFlashDesc;
55 
56 typedef struct XtfpgaBoardDesc {
57     const XtfpgaFlashDesc *flash;
58     size_t sram_size;
59     const hwaddr *io;
60 } XtfpgaBoardDesc;
61 
62 typedef struct XtfpgaFpgaState {
63     MemoryRegion iomem;
64     uint32_t leds;
65     uint32_t switches;
66 } XtfpgaFpgaState;
67 
68 static void xtfpga_fpga_reset(void *opaque)
69 {
70     XtfpgaFpgaState *s = opaque;
71 
72     s->leds = 0;
73     s->switches = 0;
74 }
75 
76 static uint64_t xtfpga_fpga_read(void *opaque, hwaddr addr,
77         unsigned size)
78 {
79     XtfpgaFpgaState *s = opaque;
80 
81     switch (addr) {
82     case 0x0: /*build date code*/
83         return 0x09272011;
84 
85     case 0x4: /*processor clock frequency, Hz*/
86         return 10000000;
87 
88     case 0x8: /*LEDs (off = 0, on = 1)*/
89         return s->leds;
90 
91     case 0xc: /*DIP switches (off = 0, on = 1)*/
92         return s->switches;
93     }
94     return 0;
95 }
96 
97 static void xtfpga_fpga_write(void *opaque, hwaddr addr,
98         uint64_t val, unsigned size)
99 {
100     XtfpgaFpgaState *s = opaque;
101 
102     switch (addr) {
103     case 0x8: /*LEDs (off = 0, on = 1)*/
104         s->leds = val;
105         break;
106 
107     case 0x10: /*board reset*/
108         if (val == 0xdead) {
109             qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
110         }
111         break;
112     }
113 }
114 
115 static const MemoryRegionOps xtfpga_fpga_ops = {
116     .read = xtfpga_fpga_read,
117     .write = xtfpga_fpga_write,
118     .endianness = DEVICE_NATIVE_ENDIAN,
119 };
120 
121 static XtfpgaFpgaState *xtfpga_fpga_init(MemoryRegion *address_space,
122         hwaddr base)
123 {
124     XtfpgaFpgaState *s = g_malloc(sizeof(XtfpgaFpgaState));
125 
126     memory_region_init_io(&s->iomem, NULL, &xtfpga_fpga_ops, s,
127             "xtfpga.fpga", 0x10000);
128     memory_region_add_subregion(address_space, base, &s->iomem);
129     xtfpga_fpga_reset(s);
130     qemu_register_reset(xtfpga_fpga_reset, s);
131     return s;
132 }
133 
134 static void xtfpga_net_init(MemoryRegion *address_space,
135         hwaddr base,
136         hwaddr descriptors,
137         hwaddr buffers,
138         qemu_irq irq, NICInfo *nd)
139 {
140     DeviceState *dev;
141     SysBusDevice *s;
142     MemoryRegion *ram;
143 
144     dev = qdev_create(NULL, "open_eth");
145     qdev_set_nic_properties(dev, nd);
146     qdev_init_nofail(dev);
147 
148     s = SYS_BUS_DEVICE(dev);
149     sysbus_connect_irq(s, 0, irq);
150     memory_region_add_subregion(address_space, base,
151             sysbus_mmio_get_region(s, 0));
152     memory_region_add_subregion(address_space, descriptors,
153             sysbus_mmio_get_region(s, 1));
154 
155     ram = g_malloc(sizeof(*ram));
156     memory_region_init_ram_nomigrate(ram, OBJECT(s), "open_eth.ram", 16 * KiB,
157                            &error_fatal);
158     vmstate_register_ram_global(ram);
159     memory_region_add_subregion(address_space, buffers, ram);
160 }
161 
162 static pflash_t *xtfpga_flash_init(MemoryRegion *address_space,
163                                    const XtfpgaBoardDesc *board,
164                                    DriveInfo *dinfo, int be)
165 {
166     SysBusDevice *s;
167     DeviceState *dev = qdev_create(NULL, "cfi.pflash01");
168 
169     qdev_prop_set_drive(dev, "drive", blk_by_legacy_dinfo(dinfo),
170                         &error_abort);
171     qdev_prop_set_uint32(dev, "num-blocks",
172                          board->flash->size / board->flash->sector_size);
173     qdev_prop_set_uint64(dev, "sector-length", board->flash->sector_size);
174     qdev_prop_set_uint8(dev, "width", 2);
175     qdev_prop_set_bit(dev, "big-endian", be);
176     qdev_prop_set_string(dev, "name", "xtfpga.io.flash");
177     qdev_init_nofail(dev);
178     s = SYS_BUS_DEVICE(dev);
179     memory_region_add_subregion(address_space, board->flash->base,
180                                 sysbus_mmio_get_region(s, 0));
181     return OBJECT_CHECK(pflash_t, (dev), "cfi.pflash01");
182 }
183 
184 static uint64_t translate_phys_addr(void *opaque, uint64_t addr)
185 {
186     XtensaCPU *cpu = opaque;
187 
188     return cpu_get_phys_page_debug(CPU(cpu), addr);
189 }
190 
191 static void xtfpga_reset(void *opaque)
192 {
193     XtensaCPU *cpu = opaque;
194 
195     cpu_reset(CPU(cpu));
196 }
197 
198 static uint64_t xtfpga_io_read(void *opaque, hwaddr addr,
199         unsigned size)
200 {
201     return 0;
202 }
203 
204 static void xtfpga_io_write(void *opaque, hwaddr addr,
205         uint64_t val, unsigned size)
206 {
207 }
208 
209 static const MemoryRegionOps xtfpga_io_ops = {
210     .read = xtfpga_io_read,
211     .write = xtfpga_io_write,
212     .endianness = DEVICE_NATIVE_ENDIAN,
213 };
214 
215 static void xtfpga_init(const XtfpgaBoardDesc *board, MachineState *machine)
216 {
217 #ifdef TARGET_WORDS_BIGENDIAN
218     int be = 1;
219 #else
220     int be = 0;
221 #endif
222     MemoryRegion *system_memory = get_system_memory();
223     XtensaCPU *cpu = NULL;
224     CPUXtensaState *env = NULL;
225     MemoryRegion *system_io;
226     DriveInfo *dinfo;
227     pflash_t *flash = NULL;
228     QemuOpts *machine_opts = qemu_get_machine_opts();
229     const char *kernel_filename = qemu_opt_get(machine_opts, "kernel");
230     const char *kernel_cmdline = qemu_opt_get(machine_opts, "append");
231     const char *dtb_filename = qemu_opt_get(machine_opts, "dtb");
232     const char *initrd_filename = qemu_opt_get(machine_opts, "initrd");
233     const unsigned system_io_size = 224 * MiB;
234     int n;
235 
236     for (n = 0; n < smp_cpus; n++) {
237         cpu = XTENSA_CPU(cpu_create(machine->cpu_type));
238         env = &cpu->env;
239 
240         env->sregs[PRID] = n;
241         qemu_register_reset(xtfpga_reset, cpu);
242         /* Need MMU initialized prior to ELF loading,
243          * so that ELF gets loaded into virtual addresses
244          */
245         cpu_reset(CPU(cpu));
246     }
247 
248     if (env) {
249         XtensaMemory sysram = env->config->sysram;
250 
251         sysram.location[0].size = machine->ram_size;
252         xtensa_create_memory_regions(&env->config->instrom, "xtensa.instrom",
253                                      system_memory);
254         xtensa_create_memory_regions(&env->config->instram, "xtensa.instram",
255                                      system_memory);
256         xtensa_create_memory_regions(&env->config->datarom, "xtensa.datarom",
257                                      system_memory);
258         xtensa_create_memory_regions(&env->config->dataram, "xtensa.dataram",
259                                      system_memory);
260         xtensa_create_memory_regions(&sysram, "xtensa.sysram",
261                                      system_memory);
262     }
263 
264     system_io = g_malloc(sizeof(*system_io));
265     memory_region_init_io(system_io, NULL, &xtfpga_io_ops, NULL, "xtfpga.io",
266                           system_io_size);
267     memory_region_add_subregion(system_memory, board->io[0], system_io);
268     if (board->io[1]) {
269         MemoryRegion *io = g_malloc(sizeof(*io));
270 
271         memory_region_init_alias(io, NULL, "xtfpga.io.cached",
272                                  system_io, 0, system_io_size);
273         memory_region_add_subregion(system_memory, board->io[1], io);
274     }
275     xtfpga_fpga_init(system_io, 0x0d020000);
276     if (nd_table[0].used) {
277         xtfpga_net_init(system_io, 0x0d030000, 0x0d030400, 0x0d800000,
278                 xtensa_get_extint(env, 1), nd_table);
279     }
280 
281     serial_mm_init(system_io, 0x0d050020, 2, xtensa_get_extint(env, 0),
282             115200, serial_hd(0), DEVICE_NATIVE_ENDIAN);
283 
284     dinfo = drive_get(IF_PFLASH, 0, 0);
285     if (dinfo) {
286         flash = xtfpga_flash_init(system_io, board, dinfo, be);
287     }
288 
289     /* Use presence of kernel file name as 'boot from SRAM' switch. */
290     if (kernel_filename) {
291         uint32_t entry_point = env->pc;
292         size_t bp_size = 3 * get_tag_size(0); /* first/last and memory tags */
293         uint32_t tagptr = env->config->sysrom.location[0].addr +
294             board->sram_size;
295         uint32_t cur_tagptr;
296         BpMemInfo memory_location = {
297             .type = tswap32(MEMORY_TYPE_CONVENTIONAL),
298             .start = tswap32(env->config->sysram.location[0].addr),
299             .end = tswap32(env->config->sysram.location[0].addr +
300                            machine->ram_size),
301         };
302         uint32_t lowmem_end = machine->ram_size < 0x08000000 ?
303             machine->ram_size : 0x08000000;
304         uint32_t cur_lowmem = QEMU_ALIGN_UP(lowmem_end / 2, 4096);
305 
306         lowmem_end += env->config->sysram.location[0].addr;
307         cur_lowmem += env->config->sysram.location[0].addr;
308 
309         xtensa_create_memory_regions(&env->config->sysrom, "xtensa.sysrom",
310                                      system_memory);
311 
312         if (kernel_cmdline) {
313             bp_size += get_tag_size(strlen(kernel_cmdline) + 1);
314         }
315         if (dtb_filename) {
316             bp_size += get_tag_size(sizeof(uint32_t));
317         }
318         if (initrd_filename) {
319             bp_size += get_tag_size(sizeof(BpMemInfo));
320         }
321 
322         /* Put kernel bootparameters to the end of that SRAM */
323         tagptr = (tagptr - bp_size) & ~0xff;
324         cur_tagptr = put_tag(tagptr, BP_TAG_FIRST, 0, NULL);
325         cur_tagptr = put_tag(cur_tagptr, BP_TAG_MEMORY,
326                              sizeof(memory_location), &memory_location);
327 
328         if (kernel_cmdline) {
329             cur_tagptr = put_tag(cur_tagptr, BP_TAG_COMMAND_LINE,
330                                  strlen(kernel_cmdline) + 1, kernel_cmdline);
331         }
332 #ifdef CONFIG_FDT
333         if (dtb_filename) {
334             int fdt_size;
335             void *fdt = load_device_tree(dtb_filename, &fdt_size);
336             uint32_t dtb_addr = tswap32(cur_lowmem);
337 
338             if (!fdt) {
339                 error_report("could not load DTB '%s'", dtb_filename);
340                 exit(EXIT_FAILURE);
341             }
342 
343             cpu_physical_memory_write(cur_lowmem, fdt, fdt_size);
344             cur_tagptr = put_tag(cur_tagptr, BP_TAG_FDT,
345                                  sizeof(dtb_addr), &dtb_addr);
346             cur_lowmem = QEMU_ALIGN_UP(cur_lowmem + fdt_size, 4 * KiB);
347         }
348 #else
349         if (dtb_filename) {
350             error_report("could not load DTB '%s': "
351                          "FDT support is not configured in QEMU",
352                          dtb_filename);
353             exit(EXIT_FAILURE);
354         }
355 #endif
356         if (initrd_filename) {
357             BpMemInfo initrd_location = { 0 };
358             int initrd_size = load_ramdisk(initrd_filename, cur_lowmem,
359                                            lowmem_end - cur_lowmem);
360 
361             if (initrd_size < 0) {
362                 initrd_size = load_image_targphys(initrd_filename,
363                                                   cur_lowmem,
364                                                   lowmem_end - cur_lowmem);
365             }
366             if (initrd_size < 0) {
367                 error_report("could not load initrd '%s'", initrd_filename);
368                 exit(EXIT_FAILURE);
369             }
370             initrd_location.start = tswap32(cur_lowmem);
371             initrd_location.end = tswap32(cur_lowmem + initrd_size);
372             cur_tagptr = put_tag(cur_tagptr, BP_TAG_INITRD,
373                                  sizeof(initrd_location), &initrd_location);
374             cur_lowmem = QEMU_ALIGN_UP(cur_lowmem + initrd_size, 4 * KiB);
375         }
376         cur_tagptr = put_tag(cur_tagptr, BP_TAG_LAST, 0, NULL);
377         env->regs[2] = tagptr;
378 
379         uint64_t elf_entry;
380         uint64_t elf_lowaddr;
381         int success = load_elf(kernel_filename, translate_phys_addr, cpu,
382                 &elf_entry, &elf_lowaddr, NULL, be, EM_XTENSA, 0, 0);
383         if (success > 0) {
384             entry_point = elf_entry;
385         } else {
386             hwaddr ep;
387             int is_linux;
388             success = load_uimage(kernel_filename, &ep, NULL, &is_linux,
389                                   translate_phys_addr, cpu);
390             if (success > 0 && is_linux) {
391                 entry_point = ep;
392             } else {
393                 error_report("could not load kernel '%s'",
394                              kernel_filename);
395                 exit(EXIT_FAILURE);
396             }
397         }
398         if (entry_point != env->pc) {
399             uint8_t boot[] = {
400 #ifdef TARGET_WORDS_BIGENDIAN
401                 0x60, 0x00, 0x08,       /* j    1f */
402                 0x00,                   /* .literal_position */
403                 0x00, 0x00, 0x00, 0x00, /* .literal entry_pc */
404                 0x00, 0x00, 0x00, 0x00, /* .literal entry_a2 */
405                                         /* 1: */
406                 0x10, 0xff, 0xfe,       /* l32r a0, entry_pc */
407                 0x12, 0xff, 0xfe,       /* l32r a2, entry_a2 */
408                 0x0a, 0x00, 0x00,       /* jx   a0 */
409 #else
410                 0x06, 0x02, 0x00,       /* j    1f */
411                 0x00,                   /* .literal_position */
412                 0x00, 0x00, 0x00, 0x00, /* .literal entry_pc */
413                 0x00, 0x00, 0x00, 0x00, /* .literal entry_a2 */
414                                         /* 1: */
415                 0x01, 0xfe, 0xff,       /* l32r a0, entry_pc */
416                 0x21, 0xfe, 0xff,       /* l32r a2, entry_a2 */
417                 0xa0, 0x00, 0x00,       /* jx   a0 */
418 #endif
419             };
420             uint32_t entry_pc = tswap32(entry_point);
421             uint32_t entry_a2 = tswap32(tagptr);
422 
423             memcpy(boot + 4, &entry_pc, sizeof(entry_pc));
424             memcpy(boot + 8, &entry_a2, sizeof(entry_a2));
425             cpu_physical_memory_write(env->pc, boot, sizeof(boot));
426         }
427     } else {
428         if (flash) {
429             MemoryRegion *flash_mr = pflash_cfi01_get_memory(flash);
430             MemoryRegion *flash_io = g_malloc(sizeof(*flash_io));
431             uint32_t size = env->config->sysrom.location[0].size;
432 
433             if (board->flash->size - board->flash->boot_base < size) {
434                 size = board->flash->size - board->flash->boot_base;
435             }
436 
437             memory_region_init_alias(flash_io, NULL, "xtfpga.flash",
438                                      flash_mr, board->flash->boot_base, size);
439             memory_region_add_subregion(system_memory,
440                                         env->config->sysrom.location[0].addr,
441                                         flash_io);
442         } else {
443             xtensa_create_memory_regions(&env->config->sysrom, "xtensa.sysrom",
444                                          system_memory);
445         }
446     }
447 }
448 
449 #define XTFPGA_MMU_RESERVED_MEMORY_SIZE (128 * MiB)
450 
451 static const hwaddr xtfpga_mmu_io[2] = {
452     0xf0000000,
453 };
454 
455 static const hwaddr xtfpga_nommu_io[2] = {
456     0x90000000,
457     0x70000000,
458 };
459 
460 static const XtfpgaFlashDesc lx60_flash = {
461     .base = 0x08000000,
462     .size = 0x00400000,
463     .sector_size = 0x10000,
464 };
465 
466 static void xtfpga_lx60_init(MachineState *machine)
467 {
468     static const XtfpgaBoardDesc lx60_board = {
469         .flash = &lx60_flash,
470         .sram_size = 0x20000,
471         .io = xtfpga_mmu_io,
472     };
473     xtfpga_init(&lx60_board, machine);
474 }
475 
476 static void xtfpga_lx60_nommu_init(MachineState *machine)
477 {
478     static const XtfpgaBoardDesc lx60_board = {
479         .flash = &lx60_flash,
480         .sram_size = 0x20000,
481         .io = xtfpga_nommu_io,
482     };
483     xtfpga_init(&lx60_board, machine);
484 }
485 
486 static const XtfpgaFlashDesc lx200_flash = {
487     .base = 0x08000000,
488     .size = 0x01000000,
489     .sector_size = 0x20000,
490 };
491 
492 static void xtfpga_lx200_init(MachineState *machine)
493 {
494     static const XtfpgaBoardDesc lx200_board = {
495         .flash = &lx200_flash,
496         .sram_size = 0x2000000,
497         .io = xtfpga_mmu_io,
498     };
499     xtfpga_init(&lx200_board, machine);
500 }
501 
502 static void xtfpga_lx200_nommu_init(MachineState *machine)
503 {
504     static const XtfpgaBoardDesc lx200_board = {
505         .flash = &lx200_flash,
506         .sram_size = 0x2000000,
507         .io = xtfpga_nommu_io,
508     };
509     xtfpga_init(&lx200_board, machine);
510 }
511 
512 static const XtfpgaFlashDesc ml605_flash = {
513     .base = 0x08000000,
514     .size = 0x01000000,
515     .sector_size = 0x20000,
516 };
517 
518 static void xtfpga_ml605_init(MachineState *machine)
519 {
520     static const XtfpgaBoardDesc ml605_board = {
521         .flash = &ml605_flash,
522         .sram_size = 0x2000000,
523         .io = xtfpga_mmu_io,
524     };
525     xtfpga_init(&ml605_board, machine);
526 }
527 
528 static void xtfpga_ml605_nommu_init(MachineState *machine)
529 {
530     static const XtfpgaBoardDesc ml605_board = {
531         .flash = &ml605_flash,
532         .sram_size = 0x2000000,
533         .io = xtfpga_nommu_io,
534     };
535     xtfpga_init(&ml605_board, machine);
536 }
537 
538 static const XtfpgaFlashDesc kc705_flash = {
539     .base = 0x00000000,
540     .size = 0x08000000,
541     .boot_base = 0x06000000,
542     .sector_size = 0x20000,
543 };
544 
545 static void xtfpga_kc705_init(MachineState *machine)
546 {
547     static const XtfpgaBoardDesc kc705_board = {
548         .flash = &kc705_flash,
549         .sram_size = 0x2000000,
550         .io = xtfpga_mmu_io,
551     };
552     xtfpga_init(&kc705_board, machine);
553 }
554 
555 static void xtfpga_kc705_nommu_init(MachineState *machine)
556 {
557     static const XtfpgaBoardDesc kc705_board = {
558         .flash = &kc705_flash,
559         .sram_size = 0x2000000,
560         .io = xtfpga_nommu_io,
561     };
562     xtfpga_init(&kc705_board, machine);
563 }
564 
565 static void xtfpga_lx60_class_init(ObjectClass *oc, void *data)
566 {
567     MachineClass *mc = MACHINE_CLASS(oc);
568 
569     mc->desc = "lx60 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";
570     mc->init = xtfpga_lx60_init;
571     mc->max_cpus = 4;
572     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;
573     mc->default_ram_size = 64 * MiB;
574 }
575 
576 static const TypeInfo xtfpga_lx60_type = {
577     .name = MACHINE_TYPE_NAME("lx60"),
578     .parent = TYPE_MACHINE,
579     .class_init = xtfpga_lx60_class_init,
580 };
581 
582 static void xtfpga_lx60_nommu_class_init(ObjectClass *oc, void *data)
583 {
584     MachineClass *mc = MACHINE_CLASS(oc);
585 
586     mc->desc = "lx60 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";
587     mc->init = xtfpga_lx60_nommu_init;
588     mc->max_cpus = 4;
589     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;
590     mc->default_ram_size = 64 * MiB;
591 }
592 
593 static const TypeInfo xtfpga_lx60_nommu_type = {
594     .name = MACHINE_TYPE_NAME("lx60-nommu"),
595     .parent = TYPE_MACHINE,
596     .class_init = xtfpga_lx60_nommu_class_init,
597 };
598 
599 static void xtfpga_lx200_class_init(ObjectClass *oc, void *data)
600 {
601     MachineClass *mc = MACHINE_CLASS(oc);
602 
603     mc->desc = "lx200 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";
604     mc->init = xtfpga_lx200_init;
605     mc->max_cpus = 4;
606     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;
607     mc->default_ram_size = 96 * MiB;
608 }
609 
610 static const TypeInfo xtfpga_lx200_type = {
611     .name = MACHINE_TYPE_NAME("lx200"),
612     .parent = TYPE_MACHINE,
613     .class_init = xtfpga_lx200_class_init,
614 };
615 
616 static void xtfpga_lx200_nommu_class_init(ObjectClass *oc, void *data)
617 {
618     MachineClass *mc = MACHINE_CLASS(oc);
619 
620     mc->desc = "lx200 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";
621     mc->init = xtfpga_lx200_nommu_init;
622     mc->max_cpus = 4;
623     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;
624     mc->default_ram_size = 96 * MiB;
625 }
626 
627 static const TypeInfo xtfpga_lx200_nommu_type = {
628     .name = MACHINE_TYPE_NAME("lx200-nommu"),
629     .parent = TYPE_MACHINE,
630     .class_init = xtfpga_lx200_nommu_class_init,
631 };
632 
633 static void xtfpga_ml605_class_init(ObjectClass *oc, void *data)
634 {
635     MachineClass *mc = MACHINE_CLASS(oc);
636 
637     mc->desc = "ml605 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";
638     mc->init = xtfpga_ml605_init;
639     mc->max_cpus = 4;
640     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;
641     mc->default_ram_size = 512 * MiB - XTFPGA_MMU_RESERVED_MEMORY_SIZE;
642 }
643 
644 static const TypeInfo xtfpga_ml605_type = {
645     .name = MACHINE_TYPE_NAME("ml605"),
646     .parent = TYPE_MACHINE,
647     .class_init = xtfpga_ml605_class_init,
648 };
649 
650 static void xtfpga_ml605_nommu_class_init(ObjectClass *oc, void *data)
651 {
652     MachineClass *mc = MACHINE_CLASS(oc);
653 
654     mc->desc = "ml605 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";
655     mc->init = xtfpga_ml605_nommu_init;
656     mc->max_cpus = 4;
657     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;
658     mc->default_ram_size = 256 * MiB;
659 }
660 
661 static const TypeInfo xtfpga_ml605_nommu_type = {
662     .name = MACHINE_TYPE_NAME("ml605-nommu"),
663     .parent = TYPE_MACHINE,
664     .class_init = xtfpga_ml605_nommu_class_init,
665 };
666 
667 static void xtfpga_kc705_class_init(ObjectClass *oc, void *data)
668 {
669     MachineClass *mc = MACHINE_CLASS(oc);
670 
671     mc->desc = "kc705 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";
672     mc->init = xtfpga_kc705_init;
673     mc->max_cpus = 4;
674     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;
675     mc->default_ram_size = 1 * GiB - XTFPGA_MMU_RESERVED_MEMORY_SIZE;
676 }
677 
678 static const TypeInfo xtfpga_kc705_type = {
679     .name = MACHINE_TYPE_NAME("kc705"),
680     .parent = TYPE_MACHINE,
681     .class_init = xtfpga_kc705_class_init,
682 };
683 
684 static void xtfpga_kc705_nommu_class_init(ObjectClass *oc, void *data)
685 {
686     MachineClass *mc = MACHINE_CLASS(oc);
687 
688     mc->desc = "kc705 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";
689     mc->init = xtfpga_kc705_nommu_init;
690     mc->max_cpus = 4;
691     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;
692     mc->default_ram_size = 256 * MiB;
693 }
694 
695 static const TypeInfo xtfpga_kc705_nommu_type = {
696     .name = MACHINE_TYPE_NAME("kc705-nommu"),
697     .parent = TYPE_MACHINE,
698     .class_init = xtfpga_kc705_nommu_class_init,
699 };
700 
701 static void xtfpga_machines_init(void)
702 {
703     type_register_static(&xtfpga_lx60_type);
704     type_register_static(&xtfpga_lx200_type);
705     type_register_static(&xtfpga_ml605_type);
706     type_register_static(&xtfpga_kc705_type);
707     type_register_static(&xtfpga_lx60_nommu_type);
708     type_register_static(&xtfpga_lx200_nommu_type);
709     type_register_static(&xtfpga_ml605_nommu_type);
710     type_register_static(&xtfpga_kc705_nommu_type);
711 }
712 
713 type_init(xtfpga_machines_init)
714