References

[1] Grub Home Page: http://www.gnu.org/ software/ grub/ [2] GNU Grub Theme Site: http://www.gnu.org/ software /grub/ manual/ html_node/ Theme-file-format.html# Theme-file-format