Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Model of Xilinx Virtex5 ML507 PPC-440 refdesign. |
| 3 | * |
| 4 | * Copyright (c) 2010 Edgar E. Iglesias. |
| 5 | * |
| 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy |
| 7 | * of this software and associated documentation files (the "Software"), to deal |
| 8 | * in the Software without restriction, including without limitation the rights |
| 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| 10 | * copies of the Software, and to permit persons to whom the Software is |
| 11 | * furnished to do so, subject to the following conditions: |
| 12 | * |
| 13 | * The above copyright notice and this permission notice shall be included in |
| 14 | * all copies or substantial portions of the Software. |
| 15 | * |
| 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL |
| 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| 22 | * THE SOFTWARE. |
| 23 | */ |
| 24 | |
Paolo Bonzini | 83c9f4c | 2013-02-04 15:40:22 +0100 | [diff] [blame] | 25 | #include "hw/sysbus.h" |
| 26 | #include "hw/hw.h" |
Paolo Bonzini | 0d09e41 | 2013-02-05 17:06:20 +0100 | [diff] [blame] | 27 | #include "hw/char/serial.h" |
| 28 | #include "hw/block/flash.h" |
Paolo Bonzini | 9c17d61 | 2012-12-17 18:20:04 +0100 | [diff] [blame] | 29 | #include "sysemu/sysemu.h" |
Peter Maydell | bd2be15 | 2013-04-09 15:26:55 +0100 | [diff] [blame] | 30 | #include "hw/devices.h" |
Paolo Bonzini | 83c9f4c | 2013-02-04 15:40:22 +0100 | [diff] [blame] | 31 | #include "hw/boards.h" |
Paolo Bonzini | 9c17d61 | 2012-12-17 18:20:04 +0100 | [diff] [blame] | 32 | #include "sysemu/device_tree.h" |
Paolo Bonzini | 83c9f4c | 2013-02-04 15:40:22 +0100 | [diff] [blame] | 33 | #include "hw/loader.h" |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 34 | #include "elf.h" |
Paolo Bonzini | 1de7afc | 2012-12-17 18:20:00 +0100 | [diff] [blame] | 35 | #include "qemu/log.h" |
Paolo Bonzini | 022c62c | 2012-12-17 18:19:49 +0100 | [diff] [blame] | 36 | #include "exec/address-spaces.h" |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 37 | |
Paolo Bonzini | 0d09e41 | 2013-02-05 17:06:20 +0100 | [diff] [blame] | 38 | #include "hw/ppc/ppc.h" |
| 39 | #include "hw/ppc/ppc4xx.h" |
Paolo Bonzini | 47b43a1 | 2013-03-18 17:36:02 +0100 | [diff] [blame] | 40 | #include "ppc405.h" |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 41 | |
Markus Armbruster | fa1d36d | 2014-10-07 13:59:13 +0200 | [diff] [blame] | 42 | #include "sysemu/block-backend.h" |
Peter Crosthwaite | d5001cf | 2014-02-25 16:42:23 -0800 | [diff] [blame] | 43 | #include "qapi/qmp/qerror.h" |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 44 | |
| 45 | #define EPAPR_MAGIC (0x45504150) |
| 46 | #define FLASH_SIZE (16 * 1024 * 1024) |
| 47 | |
Peter Crosthwaite | 81cce07 | 2014-02-25 16:38:54 -0800 | [diff] [blame] | 48 | #define INTC_BASEADDR 0x81800000 |
| 49 | #define UART16550_BASEADDR 0x83e01003 |
| 50 | #define TIMER_BASEADDR 0x83c00000 |
| 51 | #define PFLASH_BASEADDR 0xfc000000 |
| 52 | |
| 53 | #define TIMER_IRQ 3 |
| 54 | #define UART16550_IRQ 9 |
| 55 | |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 56 | static struct boot_info |
| 57 | { |
| 58 | uint32_t bootstrap_pc; |
| 59 | uint32_t cmdline; |
| 60 | uint32_t fdt; |
| 61 | uint32_t ima_size; |
| 62 | void *vfdt; |
| 63 | } boot_info; |
| 64 | |
| 65 | /* Create reset TLB entries for BookE, spanning the 32bit addr space. */ |
Andreas Färber | e2684c0 | 2012-03-14 01:38:23 +0100 | [diff] [blame] | 66 | static void mmubooke_create_initial_mapping(CPUPPCState *env, |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 67 | target_ulong va, |
Avi Kivity | a8170e5 | 2012-10-23 12:30:10 +0200 | [diff] [blame] | 68 | hwaddr pa) |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 69 | { |
Alexander Graf | 1c53acc | 2011-06-17 01:00:28 +0200 | [diff] [blame] | 70 | ppcemb_tlb_t *tlb = &env->tlb.tlbe[0]; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 71 | |
| 72 | tlb->attr = 0; |
| 73 | tlb->prot = PAGE_VALID | ((PAGE_READ | PAGE_WRITE | PAGE_EXEC) << 4); |
Peter Maydell | a1f7f97 | 2014-03-17 16:00:37 +0000 | [diff] [blame] | 74 | tlb->size = 1U << 31; /* up to 0x80000000 */ |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 75 | tlb->EPN = va & TARGET_PAGE_MASK; |
| 76 | tlb->RPN = pa & TARGET_PAGE_MASK; |
| 77 | tlb->PID = 0; |
| 78 | |
Alexander Graf | 1c53acc | 2011-06-17 01:00:28 +0200 | [diff] [blame] | 79 | tlb = &env->tlb.tlbe[1]; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 80 | tlb->attr = 0; |
| 81 | tlb->prot = PAGE_VALID | ((PAGE_READ | PAGE_WRITE | PAGE_EXEC) << 4); |
Peter Maydell | a1f7f97 | 2014-03-17 16:00:37 +0000 | [diff] [blame] | 82 | tlb->size = 1U << 31; /* up to 0xffffffff */ |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 83 | tlb->EPN = 0x80000000 & TARGET_PAGE_MASK; |
| 84 | tlb->RPN = 0x80000000 & TARGET_PAGE_MASK; |
| 85 | tlb->PID = 0; |
| 86 | } |
| 87 | |
Andreas Färber | 6828169 | 2012-05-04 17:59:06 +0200 | [diff] [blame] | 88 | static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size, |
| 89 | int do_init, |
| 90 | const char *cpu_model, |
| 91 | uint32_t sysclk) |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 92 | { |
Andreas Färber | d1d4938 | 2012-05-04 17:57:13 +0200 | [diff] [blame] | 93 | PowerPCCPU *cpu; |
Andreas Färber | e2684c0 | 2012-03-14 01:38:23 +0100 | [diff] [blame] | 94 | CPUPPCState *env; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 95 | qemu_irq *irqs; |
| 96 | |
Andreas Färber | d1d4938 | 2012-05-04 17:57:13 +0200 | [diff] [blame] | 97 | cpu = cpu_ppc_init(cpu_model); |
| 98 | if (cpu == NULL) { |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 99 | fprintf(stderr, "Unable to initialize CPU!\n"); |
| 100 | exit(1); |
| 101 | } |
Andreas Färber | d1d4938 | 2012-05-04 17:57:13 +0200 | [diff] [blame] | 102 | env = &cpu->env; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 103 | |
Andreas Färber | a34a92b | 2012-12-01 04:43:18 +0100 | [diff] [blame] | 104 | ppc_booke_timers_init(cpu, sysclk, 0/* no flags */); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 105 | |
| 106 | ppc_dcr_init(env, NULL, NULL); |
| 107 | |
| 108 | /* interrupt controller */ |
Anthony Liguori | 7267c09 | 2011-08-20 22:09:37 -0500 | [diff] [blame] | 109 | irqs = g_malloc0(sizeof(qemu_irq) * PPCUIC_OUTPUT_NB); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 110 | irqs[PPCUIC_OUTPUT_INT] = ((qemu_irq *)env->irq_inputs)[PPC40x_INPUT_INT]; |
| 111 | irqs[PPCUIC_OUTPUT_CINT] = ((qemu_irq *)env->irq_inputs)[PPC40x_INPUT_CINT]; |
Blue Swirl | 49a2942 | 2010-10-13 18:41:29 +0000 | [diff] [blame] | 112 | ppcuic_init(env, irqs, 0x0C0, 0, 1); |
Andreas Färber | 6828169 | 2012-05-04 17:59:06 +0200 | [diff] [blame] | 113 | return cpu; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 114 | } |
| 115 | |
| 116 | static void main_cpu_reset(void *opaque) |
| 117 | { |
Andreas Färber | f803148 | 2012-05-04 18:20:07 +0200 | [diff] [blame] | 118 | PowerPCCPU *cpu = opaque; |
| 119 | CPUPPCState *env = &cpu->env; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 120 | struct boot_info *bi = env->load_info; |
| 121 | |
Andreas Färber | f803148 | 2012-05-04 18:20:07 +0200 | [diff] [blame] | 122 | cpu_reset(CPU(cpu)); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 123 | /* Linux Kernel Parameters (passing device tree): |
| 124 | * r3: pointer to the fdt |
| 125 | * r4: 0 |
| 126 | * r5: 0 |
| 127 | * r6: epapr magic |
| 128 | * r7: size of IMA in bytes |
| 129 | * r8: 0 |
| 130 | * r9: 0 |
| 131 | */ |
| 132 | env->gpr[1] = (16<<20) - 8; |
| 133 | /* Provide a device-tree. */ |
| 134 | env->gpr[3] = bi->fdt; |
| 135 | env->nip = bi->bootstrap_pc; |
| 136 | |
| 137 | /* Create a mapping for the kernel. */ |
| 138 | mmubooke_create_initial_mapping(env, 0, 0); |
| 139 | env->gpr[6] = tswap32(EPAPR_MAGIC); |
| 140 | env->gpr[7] = bi->ima_size; |
| 141 | } |
| 142 | |
| 143 | #define BINARY_DEVICE_TREE_FILE "virtex-ml507.dtb" |
Avi Kivity | a8170e5 | 2012-10-23 12:30:10 +0200 | [diff] [blame] | 144 | static int xilinx_load_device_tree(hwaddr addr, |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 145 | uint32_t ramsize, |
Avi Kivity | a8170e5 | 2012-10-23 12:30:10 +0200 | [diff] [blame] | 146 | hwaddr initrd_base, |
| 147 | hwaddr initrd_size, |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 148 | const char *kernel_cmdline) |
| 149 | { |
| 150 | char *path; |
| 151 | int fdt_size; |
Efimov Vasily | daf285b | 2013-08-14 17:26:08 +0400 | [diff] [blame] | 152 | void *fdt = NULL; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 153 | int r; |
Efimov Vasily | daf285b | 2013-08-14 17:26:08 +0400 | [diff] [blame] | 154 | const char *dtb_filename; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 155 | |
Efimov Vasily | daf285b | 2013-08-14 17:26:08 +0400 | [diff] [blame] | 156 | dtb_filename = qemu_opt_get(qemu_get_machine_opts(), "dtb"); |
| 157 | if (dtb_filename) { |
| 158 | fdt = load_device_tree(dtb_filename, &fdt_size); |
Edgar E. Iglesias | 3b2e3dc | 2010-10-02 13:04:49 +0200 | [diff] [blame] | 159 | if (!fdt) { |
Efimov Vasily | daf285b | 2013-08-14 17:26:08 +0400 | [diff] [blame] | 160 | error_report("Error while loading device tree file '%s'", |
| 161 | dtb_filename); |
| 162 | } |
| 163 | } else { |
| 164 | /* Try the local "ppc.dtb" override. */ |
| 165 | fdt = load_device_tree("ppc.dtb", &fdt_size); |
| 166 | if (!fdt) { |
| 167 | path = qemu_find_file(QEMU_FILE_TYPE_BIOS, BINARY_DEVICE_TREE_FILE); |
| 168 | if (path) { |
| 169 | fdt = load_device_tree(path, &fdt_size); |
| 170 | g_free(path); |
| 171 | } |
Edgar E. Iglesias | 3b2e3dc | 2010-10-02 13:04:49 +0200 | [diff] [blame] | 172 | } |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 173 | } |
Efimov Vasily | daf285b | 2013-08-14 17:26:08 +0400 | [diff] [blame] | 174 | if (!fdt) { |
| 175 | return 0; |
| 176 | } |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 177 | |
| 178 | r = qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-start", |
| 179 | initrd_base); |
| 180 | if (r < 0) { |
| 181 | error_report("couldn't set /chosen/linux,initrd-start"); |
| 182 | } |
| 183 | |
| 184 | r = qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-end", |
| 185 | (initrd_base + initrd_size)); |
| 186 | if (r < 0) { |
| 187 | error_report("couldn't set /chosen/linux,initrd-end"); |
| 188 | } |
| 189 | |
Peter Crosthwaite | 5a4348d | 2013-11-11 18:14:41 +1000 | [diff] [blame] | 190 | r = qemu_fdt_setprop_string(fdt, "/chosen", "bootargs", kernel_cmdline); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 191 | if (r < 0) |
| 192 | fprintf(stderr, "couldn't set /chosen/bootargs\n"); |
Stefan Weil | e1fe50d | 2013-04-12 20:53:58 +0200 | [diff] [blame] | 193 | cpu_physical_memory_write(addr, fdt, fdt_size); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 194 | return fdt_size; |
| 195 | } |
| 196 | |
Marcel Apfelbaum | 3ef9622 | 2014-05-07 17:42:57 +0300 | [diff] [blame] | 197 | static void virtex_init(MachineState *machine) |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 198 | { |
Marcel Apfelbaum | 3ef9622 | 2014-05-07 17:42:57 +0300 | [diff] [blame] | 199 | ram_addr_t ram_size = machine->ram_size; |
| 200 | const char *cpu_model = machine->cpu_model; |
| 201 | const char *kernel_filename = machine->kernel_filename; |
| 202 | const char *kernel_cmdline = machine->kernel_cmdline; |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 203 | hwaddr initrd_base = 0; |
| 204 | int initrd_size = 0; |
Richard Henderson | 39186d8 | 2011-08-11 16:07:16 -0700 | [diff] [blame] | 205 | MemoryRegion *address_space_mem = get_system_memory(); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 206 | DeviceState *dev; |
Andreas Färber | 6828169 | 2012-05-04 17:59:06 +0200 | [diff] [blame] | 207 | PowerPCCPU *cpu; |
Andreas Färber | e2684c0 | 2012-03-14 01:38:23 +0100 | [diff] [blame] | 208 | CPUPPCState *env; |
Avi Kivity | a8170e5 | 2012-10-23 12:30:10 +0200 | [diff] [blame] | 209 | hwaddr ram_base = 0; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 210 | DriveInfo *dinfo; |
Avi Kivity | 333b13f | 2011-10-05 18:51:29 +0200 | [diff] [blame] | 211 | MemoryRegion *phys_ram = g_new(MemoryRegion, 1); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 212 | qemu_irq irq[32], *cpu_irq; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 213 | int kernel_size; |
| 214 | int i; |
| 215 | |
| 216 | /* init CPUs */ |
| 217 | if (cpu_model == NULL) { |
| 218 | cpu_model = "440-Xilinx"; |
| 219 | } |
| 220 | |
Andreas Färber | 6828169 | 2012-05-04 17:59:06 +0200 | [diff] [blame] | 221 | cpu = ppc440_init_xilinx(&ram_size, 1, cpu_model, 400000000); |
| 222 | env = &cpu->env; |
Andreas Färber | f803148 | 2012-05-04 18:20:07 +0200 | [diff] [blame] | 223 | qemu_register_reset(main_cpu_reset, cpu); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 224 | |
Shreyas B. Prabhu | e938ba0 | 2014-07-10 17:31:03 +0530 | [diff] [blame] | 225 | memory_region_allocate_system_memory(phys_ram, NULL, "ram", ram_size); |
Avi Kivity | 333b13f | 2011-10-05 18:51:29 +0200 | [diff] [blame] | 226 | memory_region_add_subregion(address_space_mem, ram_base, phys_ram); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 227 | |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 228 | dinfo = drive_get(IF_PFLASH, 0, 0); |
Peter Crosthwaite | 81cce07 | 2014-02-25 16:38:54 -0800 | [diff] [blame] | 229 | pflash_cfi01_register(PFLASH_BASEADDR, NULL, "virtex.flash", FLASH_SIZE, |
Markus Armbruster | 4be7463 | 2014-10-07 13:59:18 +0200 | [diff] [blame] | 230 | dinfo ? blk_by_legacy_dinfo(dinfo) : NULL, |
Markus Armbruster | fa1d36d | 2014-10-07 13:59:13 +0200 | [diff] [blame] | 231 | (64 * 1024), FLASH_SIZE >> 16, |
Anthony Liguori | 01e0451 | 2011-08-25 14:39:18 -0500 | [diff] [blame] | 232 | 1, 0x89, 0x18, 0x0000, 0x0, 1); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 233 | |
| 234 | cpu_irq = (qemu_irq *) &env->irq_inputs[PPC40x_INPUT_INT]; |
Peter Crosthwaite | 13c9bfb | 2014-02-25 16:40:04 -0800 | [diff] [blame] | 235 | dev = qdev_create(NULL, "xlnx.xps-intc"); |
| 236 | qdev_prop_set_uint32(dev, "kind-of-intr", 0); |
| 237 | qdev_init_nofail(dev); |
| 238 | sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, INTC_BASEADDR); |
| 239 | sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, cpu_irq[0]); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 240 | for (i = 0; i < 32; i++) { |
| 241 | irq[i] = qdev_get_gpio_in(dev, i); |
| 242 | } |
| 243 | |
Peter Crosthwaite | 81cce07 | 2014-02-25 16:38:54 -0800 | [diff] [blame] | 244 | serial_mm_init(address_space_mem, UART16550_BASEADDR, 2, irq[UART16550_IRQ], |
| 245 | 115200, serial_hds[0], DEVICE_LITTLE_ENDIAN); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 246 | |
| 247 | /* 2 timers at irq 2 @ 62 Mhz. */ |
Peter Crosthwaite | 2987371 | 2014-02-25 16:40:39 -0800 | [diff] [blame] | 248 | dev = qdev_create(NULL, "xlnx.xps-timer"); |
| 249 | qdev_prop_set_uint32(dev, "one-timer-only", 0); |
| 250 | qdev_prop_set_uint32(dev, "clock-frequency", 62 * 1000000); |
| 251 | qdev_init_nofail(dev); |
| 252 | sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, TIMER_BASEADDR); |
| 253 | sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, irq[TIMER_IRQ]); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 254 | |
| 255 | if (kernel_filename) { |
| 256 | uint64_t entry, low, high; |
Avi Kivity | a8170e5 | 2012-10-23 12:30:10 +0200 | [diff] [blame] | 257 | hwaddr boot_offset; |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 258 | |
| 259 | /* Boots a kernel elf binary. */ |
| 260 | kernel_size = load_elf(kernel_filename, NULL, NULL, |
| 261 | &entry, &low, &high, 1, ELF_MACHINE, 0); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 262 | boot_info.bootstrap_pc = entry & 0x00ffffff; |
| 263 | |
| 264 | if (kernel_size < 0) { |
| 265 | boot_offset = 0x1200000; |
| 266 | /* If we failed loading ELF's try a raw image. */ |
| 267 | kernel_size = load_image_targphys(kernel_filename, |
| 268 | boot_offset, |
| 269 | ram_size); |
| 270 | boot_info.bootstrap_pc = boot_offset; |
| 271 | high = boot_info.bootstrap_pc + kernel_size + 8192; |
| 272 | } |
| 273 | |
| 274 | boot_info.ima_size = kernel_size; |
| 275 | |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 276 | /* Load initrd. */ |
Marcel Apfelbaum | 3ef9622 | 2014-05-07 17:42:57 +0300 | [diff] [blame] | 277 | if (machine->initrd_filename) { |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 278 | initrd_base = high = ROUND_UP(high, 4); |
Marcel Apfelbaum | 3ef9622 | 2014-05-07 17:42:57 +0300 | [diff] [blame] | 279 | initrd_size = load_image_targphys(machine->initrd_filename, |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 280 | high, ram_size - high); |
| 281 | |
| 282 | if (initrd_size < 0) { |
| 283 | error_report("couldn't load ram disk '%s'", |
Marcel Apfelbaum | 3ef9622 | 2014-05-07 17:42:57 +0300 | [diff] [blame] | 284 | machine->initrd_filename); |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 285 | exit(1); |
| 286 | } |
| 287 | high = ROUND_UP(high + initrd_size, 4); |
| 288 | } |
| 289 | |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 290 | /* Provide a device-tree. */ |
| 291 | boot_info.fdt = high + (8192 * 2); |
| 292 | boot_info.fdt &= ~8191; |
Edgar E. Iglesias | 0658aa9 | 2014-02-03 15:20:20 +0000 | [diff] [blame] | 293 | |
| 294 | xilinx_load_device_tree(boot_info.fdt, ram_size, |
| 295 | initrd_base, initrd_size, |
| 296 | kernel_cmdline); |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 297 | } |
| 298 | env->load_info = &boot_info; |
| 299 | } |
| 300 | |
| 301 | static QEMUMachine virtex_machine = { |
| 302 | .name = "virtex-ml507", |
| 303 | .desc = "Xilinx Virtex ML507 reference design", |
| 304 | .init = virtex_init, |
Edgar E. Iglesias | 2c50e26 | 2010-09-29 15:31:44 +0200 | [diff] [blame] | 305 | }; |
| 306 | |
| 307 | static void virtex_machine_init(void) |
| 308 | { |
| 309 | qemu_register_machine(&virtex_machine); |
| 310 | } |
| 311 | |
| 312 | machine_init(virtex_machine_init); |