|
@@ -962,6 +962,9 @@ void x86_load_linux(X86MachineState *x86ms,
|
|
sev_load_ctx.setup_data = (char *)setup;
|
|
sev_load_ctx.setup_data = (char *)setup;
|
|
sev_load_ctx.setup_size = setup_size;
|
|
sev_load_ctx.setup_size = setup_size;
|
|
|
|
|
|
|
|
+ /* kernel without setup header patches */
|
|
|
|
+ fw_cfg_add_file(fw_cfg, "etc/boot/kernel", kernel, kernel_size);
|
|
|
|
+
|
|
if (sev_enabled()) {
|
|
if (sev_enabled()) {
|
|
sev_add_kernel_loader_hashes(&sev_load_ctx, &error_fatal);
|
|
sev_add_kernel_loader_hashes(&sev_load_ctx, &error_fatal);
|
|
}
|
|
}
|