7c7b176169
Configure GRUB to build with boot time statistics. That allows users to add that module to GRUB by adding `boottime` to the list of extra modules. Change-Id: I76a07e49aecb37652fe8c7d6a9421fd464424287 Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de> Reviewed-on: https://review.coreboot.org/18367 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Rudolph <siro@das-labor.org> |
||
---|---|---|
.. | ||
FILO | ||
GRUB2 | ||
Memtest86Plus | ||
SeaBIOS | ||
U-Boot | ||
depthcharge | ||
iPXE | ||
linux | ||
tianocore | ||
tint | ||
Makefile.inc |