Matthew Garrett f22ee4487c Measure kernel + initrd ... Measure the kernel and initrd when loaded on UEFI systems		2016-01-05 14:35:17 -08:00
..
linux.c	Measure kernel + initrd	2016-01-05 14:35:17 -08:00