2 * Microblaze kernel loader
5 * Copyright (c) 2012 PetaLogix
6 * Copyright (c) 2009 Edgar E. Iglesias.
8 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 * of this software and associated documentation files (the "Software"), to deal
10 * in the Software without restriction, including without limitation the rights
11 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 * copies of the Software, and to permit persons to whom the Software is
13 * furnished to do so, subject to the following conditions:
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27 #include "qemu/osdep.h"
28 #include "qemu-common.h"
30 #include "qemu/option.h"
31 #include "qemu/config-file.h"
32 #include "qemu/error-report.h"
33 #include "sysemu/device_tree.h"
34 #include "sysemu/sysemu.h"
35 #include "hw/loader.h"
37 #include "qemu/cutils.h"
43 void (*machine_cpu_reset)(MicroBlazeCPU *);
44 uint32_t bootstrap_pc;
46 uint32_t initrd_start;
51 static void main_cpu_reset(void *opaque)
53 MicroBlazeCPU *cpu = opaque;
54 CPUState *cs = CPU(cpu);
55 CPUMBState *env = &cpu->env;
58 env->regs[5] = boot_info.cmdline;
59 env->regs[6] = boot_info.initrd_start;
60 env->regs[7] = boot_info.fdt;
61 cpu_set_pc(cs, boot_info.bootstrap_pc);
62 if (boot_info.machine_cpu_reset) {
63 boot_info.machine_cpu_reset(cpu);
67 static int microblaze_load_dtb(hwaddr addr,
69 uint32_t initrd_start,
71 const char *kernel_cmdline,
72 const char *dtb_filename)
79 fdt = load_device_tree(dtb_filename, &fdt_size);
86 r = qemu_fdt_setprop_string(fdt, "/chosen", "bootargs",
89 fprintf(stderr, "couldn't set /chosen/bootargs\n");
94 qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-start",
97 qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-end",
101 cpu_physical_memory_write(addr, fdt, fdt_size);
105 static uint64_t translate_kernel_address(void *opaque, uint64_t addr)
107 return addr - 0x30000000LL;
110 void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base,
112 const char *initrd_filename,
113 const char *dtb_filename,
114 void (*machine_cpu_reset)(MicroBlazeCPU *))
116 QemuOpts *machine_opts;
117 const char *kernel_filename;
118 const char *kernel_cmdline;
120 char *filename = NULL;
122 machine_opts = qemu_get_machine_opts();
123 kernel_filename = qemu_opt_get(machine_opts, "kernel");
124 kernel_cmdline = qemu_opt_get(machine_opts, "append");
125 dtb_arg = qemu_opt_get(machine_opts, "dtb");
126 /* default to pcbios dtb as passed by machine_init */
127 if (!dtb_arg && dtb_filename) {
128 filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, dtb_filename);
131 boot_info.machine_cpu_reset = machine_cpu_reset;
132 qemu_register_reset(main_cpu_reset, cpu);
134 if (kernel_filename) {
136 uint64_t entry, low, high;
140 #ifdef TARGET_WORDS_BIGENDIAN
144 /* Boots a kernel elf binary. */
145 kernel_size = load_elf(kernel_filename, NULL, NULL, NULL,
147 big_endian, EM_MICROBLAZE, 0, 0);
149 if (base32 == 0xc0000000) {
150 kernel_size = load_elf(kernel_filename, NULL,
151 translate_kernel_address, NULL,
153 big_endian, EM_MICROBLAZE, 0, 0);
155 /* Always boot into physical ram. */
156 boot_info.bootstrap_pc = (uint32_t)entry;
158 /* If it wasn't an ELF image, try an u-boot image. */
159 if (kernel_size < 0) {
160 hwaddr uentry, loadaddr = LOAD_UIMAGE_LOADADDR_INVALID;
162 kernel_size = load_uimage(kernel_filename, &uentry, &loadaddr, 0,
164 boot_info.bootstrap_pc = uentry;
165 high = (loadaddr + kernel_size + 3) & ~3;
168 /* Not an ELF image nor an u-boot image, try a RAW image. */
169 if (kernel_size < 0) {
170 kernel_size = load_image_targphys(kernel_filename, ddr_base,
172 boot_info.bootstrap_pc = ddr_base;
173 high = (ddr_base + kernel_size + 3) & ~3;
176 if (initrd_filename) {
178 uint32_t initrd_offset;
180 high = ROUND_UP(high + kernel_size, 4);
181 boot_info.initrd_start = high;
182 initrd_offset = boot_info.initrd_start - ddr_base;
184 initrd_size = load_ramdisk(initrd_filename,
185 boot_info.initrd_start,
186 ram_size - initrd_offset);
187 if (initrd_size < 0) {
188 initrd_size = load_image_targphys(initrd_filename,
189 boot_info.initrd_start,
190 ram_size - initrd_offset);
192 if (initrd_size < 0) {
193 error_report("could not load initrd '%s'",
197 boot_info.initrd_end = boot_info.initrd_start + initrd_size;
198 high = ROUND_UP(high + initrd_size, 4);
201 boot_info.cmdline = high + 4096;
202 if (kernel_cmdline && strlen(kernel_cmdline)) {
203 pstrcpy_targphys("cmdline", boot_info.cmdline, 256, kernel_cmdline);
205 /* Provide a device-tree. */
206 boot_info.fdt = boot_info.cmdline + 4096;
207 microblaze_load_dtb(boot_info.fdt, ram_size,
208 boot_info.initrd_start,
209 boot_info.initrd_end,
211 /* Preference a -dtb argument */
212 dtb_arg ? dtb_arg : filename);