# This file has been automatically generated, do not edit.

GRUB_PLATFORMS="efi-32 efi-64 pc"