738f6f09b3
We want a single buffer that contains the entire kernel image in order to perform a TPM measurement. Allocate one and copy the entire kernel int it before pulling out the individual blocks later on. |
||
---|---|---|
.. | ||
coreboot | ||
efi | ||
pc | ||
bsd.c | ||
bsd32.c | ||
bsd64.c | ||
bsd_pagetable.c | ||
bsdXX.c | ||
linux.c | ||
multiboot_mbi.c | ||
verity-hash.h | ||
xen.c | ||
xen_file.c | ||
xen_file32.c | ||
xen_file64.c | ||
xen_fileXX.c | ||
xnu.c |