Matthew Garrett a5693087f0 Measure kernel + initrd ... Measure the kernel and initrd when loaded on UEFI systems		2018-03-29 22:18:53 -04:00
..
linux.c	Measure kernel + initrd	2018-03-29 22:18:53 -04:00