Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions linux.c
Original file line number Diff line number Diff line change
Expand Up @@ -28,15 +28,15 @@ EFI_STATUS linux_exec(
const struct iovec *initrd) {

size_t kernel_size_in_memory = 0;
uint32_t compat_entry_point, entry_point;
uint32_t entry_point;
uint64_t image_base;
EFI_STATUS err;

assert(parent_image);
assert(iovec_is_set(kernel));
assert(iovec_is_valid(initrd));

err = pe_kernel_info(kernel->iov_base, &entry_point, &compat_entry_point, &image_base, &kernel_size_in_memory);
err = pe_kernel_info(kernel->iov_base, &entry_point, &image_base, &kernel_size_in_memory);
if (err != EFI_SUCCESS)
return log_error_status(err, "Bad kernel image: %m");

Expand Down
1 change: 0 additions & 1 deletion stub.c
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,6 @@ static EFI_STATUS run(EFI_HANDLE image) {
if (err != EFI_SUCCESS)
return err;


/* Let's measure the passed kernel command line into the TPM. Note that this possibly
* duplicates what we already did in the boot menu, if that was already
* used. However, since we want the boot menu to support an EFI binary, and want to
Expand Down