Paul Menzel 7c7b176169 grub: Build module `boottime` ... 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>		2017-02-17 18:23:23 +01:00
..
Kconfig	payloads/GRUB2: Add Kconfig options for grub.cfg	2017-01-10 17:50:21 +01:00
Kconfig.name	payloads: Reorganize Kconfig for external payloads	2015-07-07 22:49:47 +02:00
Makefile	grub: Build module `boottime`	2017-02-17 18:23:23 +01:00