2ebef43cf6
kernel_type may be set to the type of failed kernel. This patching-up is easier than to reflow kernel loading routines. |
||
---|---|---|
.. | ||
coreboot | ||
pc | ||
bsd.c | ||
bsd32.c | ||
bsd64.c | ||
bsd_pagetable.c | ||
bsdXX.c | ||
linux.c | ||
multiboot_mbi.c | ||
xen.c | ||
xen_file.c | ||
xen_file32.c | ||
xen_file64.c | ||
xen_fileXX.c | ||
xnu.c |