GRUB2: set Super Mario as startup tune http://feedproxy.google.com/~r/Command-line-fu/~3/GuppD9bAwyU/grub2-set-super-mario-as-startup-tune Saved on Apr 12, 2011 Internet Archive