GRUB's own scripting language is mostly up to the task of enumerating OSes and displaying boot options, though.
GRUB's own scripting language is mostly up to the task of enumerating OSes and displaying boot options, though.