boot.c (d45a5270d075ea589f0b0ddcf963a5fea1f500ac) boot.c (dae257394ae523aff0a9c4049c2e9934e3972ddc)
1/*
2 * ARM kernel loader.
3 *
4 * Copyright (c) 2006-2007 CodeSourcery.
5 * Written by Paul Brook
6 *
7 * This code is licensed under the GPL.
8 */

--- 1229 unchanged lines hidden (view full) ---

1238 info->dtb_start = info->loader_start;
1239 }
1240
1241 if (info->kernel_filename) {
1242 FWCfgState *fw_cfg;
1243 bool try_decompressing_kernel;
1244
1245 fw_cfg = fw_cfg_find();
1/*
2 * ARM kernel loader.
3 *
4 * Copyright (c) 2006-2007 CodeSourcery.
5 * Written by Paul Brook
6 *
7 * This code is licensed under the GPL.
8 */

--- 1229 unchanged lines hidden (view full) ---

1238 info->dtb_start = info->loader_start;
1239 }
1240
1241 if (info->kernel_filename) {
1242 FWCfgState *fw_cfg;
1243 bool try_decompressing_kernel;
1244
1245 fw_cfg = fw_cfg_find();
1246
1247 if (!fw_cfg) {
1248 error_report("This machine type does not support loading both "
1249 "a guest firmware/BIOS image and a guest kernel at "
1250 "the same time. You should change your QEMU command "
1251 "line to specify one or the other, but not both.");
1252 exit(1);
1253 }
1254
1246 try_decompressing_kernel = arm_feature(&cpu->env,
1247 ARM_FEATURE_AARCH64);
1248
1249 /*
1250 * Expose the kernel, the command line, and the initrd in fw_cfg.
1251 * We don't process them here at all, it's all left to the
1252 * firmware.
1253 */

--- 76 unchanged lines hidden --- 		1255 try_decompressing_kernel = arm_feature(&cpu->env,
1256 ARM_FEATURE_AARCH64);
1257
1258 /*
1259 * Expose the kernel, the command line, and the initrd in fw_cfg.
1260 * We don't process them here at all, it's all left to the
1261 * firmware.
1262 */

--- 76 unchanged lines hidden ---