mirror of
https://github.com/linuxboot/heads.git
synced 2025-01-31 00:24:17 +00:00
7769d13996
Drop the duplicated kernel info which hurts readability, runs off the end of the menu window. This also makes it easier to identify which menu option is the default, and more closely resembles the grub menu shown in a traditional BIOS boot. Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>