Paul Menzel (paulepanter@users.sourceforge.net) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18367
-gerrit
commit ede95a4975cf25f54884b6fac1557ee7bd0e5b4e Author: Paul Menzel pmenzel@molgen.mpg.de Date: Fri Jan 20 17:30:00 2017 +0100
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 --- payloads/external/GRUB2/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/payloads/external/GRUB2/Makefile b/payloads/external/GRUB2/Makefile index c257f0e..137fec2 100644 --- a/payloads/external/GRUB2/Makefile +++ b/payloads/external/GRUB2/Makefile @@ -40,7 +40,8 @@ config: checkout cd grub2 && ./autogen.sh cd grub2/build && ../configure BUILD_CC="$(HOSTCC)" CC="$(HOSTCC)" \ TARGET_CC="$(CC)" \ - TARGET_OBJCOPY="$(OBJCOPY)" TARGET_STRIP="$(STRIP)" CFLAGS=-O2 TARGET_CFLAGS=-Os --with-platform=coreboot + TARGET_OBJCOPY="$(OBJCOPY)" TARGET_STRIP="$(STRIP)" CFLAGS=-O2 TARGET_CFLAGS=-Os --with-platform=coreboot \ + --enable-boot-time
grub2: config echo " MAKE GRUB2 $(NAME-y)"