# Load each ACM twice to workaround a grub/tboot issue. Currently it
# is possible that grub loads an ACM to an address that overlaps with
# tboot's data structures. This causes tboot to ignore the ACM
# completely:
#
# https://sourceforge.net/p/tboot/mailman/message/37340469/

GRUB_TBOOT_SINIT_LIST='/boot/*sinit* /boot/*SINIT* /boot/*sinit* /boot/*SINIT*'
