Info Catalog
grub: grub_cpu
grub: Special environment variables
grub: icondir
15.1.16 grub_platform --------------------- In normal mode (⇒normal), GRUB sets the 'grub_platform' variable to the platform for which GRUB was built (e.g. 'pc' or 'efi').