/resources/grub/config/

• ../
• COPYING
• extra
• grub_memdisk.cfg
• menuentries
• seabios.cfg