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> |
||
---|---|---|
.. | ||
bayou | ||
coreinfo | ||
external | ||
libpayload | ||
nvramcui | ||
Kconfig | ||
Makefile.inc |