Multiple GRUB terminals

To be found in Vladimir’s “multiple terminal” branch, GRUB 2 displays in multiple terminals simultaneously, with a separate menu viewer for each one, resulting in menus with different metrics rendering the same content!

In this screenshot, GRUB running in QEMU with a serial terminal attached to it in a separate window: