Argh. This was broken by the last-minute elf32/elf64/"elf kernel" changes.
This commit is contained in:
parent
33a9fd010d
commit
a5bd71a96d
@ -209,7 +209,7 @@ bi_load32(char *args, int *howtop, int *bootdevp, vm_offset_t *bip, vm_offset_t
|
||||
/* pad to a page boundary */
|
||||
addr = roundup(addr, PAGE_SIZE);
|
||||
|
||||
kfp = file_findfile(NULL, "elf64 kernel");
|
||||
kfp = file_findfile(NULL, "elf kernel");
|
||||
if (kfp == NULL)
|
||||
kfp = file_findfile(NULL, "elf32 kernel");
|
||||
if (kfp == NULL)
|
||||
|
@ -179,9 +179,9 @@ bi_load64(char *args, vm_offset_t *modulep, vm_offset_t *kernendp)
|
||||
/* pad to a page boundary */
|
||||
addr = roundup(addr, PAGE_SIZE);
|
||||
|
||||
kfp = file_findfile(NULL, "elf64 kernel");
|
||||
kfp = file_findfile(NULL, "elf kernel");
|
||||
if (kfp == NULL)
|
||||
kfp = file_findfile(NULL, "elf32 kernel");
|
||||
kfp = file_findfile(NULL, "elf64 kernel");
|
||||
if (kfp == NULL)
|
||||
panic("can't find kernel file");
|
||||
kernend = 0; /* fill it in later */
|
||||
|
Loading…
x
Reference in New Issue
Block a user