pages correctly, the original creator was David Vignoni (aka
"deviantdark" on the deviantart site).
+* The keys icon for MOK keys management comes from the
+ kdeartwork-iconthemes-4.8.5 package on Gentoo.
+
* The Linux Mint icon comes from the Linux Mint 11.1 user guide
(http://ftp.heanet.ie/pub/linuxmint.com/docs/user-guide/)
* The Arch Linux icon was created by ~IDRGSKYWALKER on Deviant Art
(http://idrgskywalker.deviantart.com/art/Arch-Linux-Logo-186211022).
+* The gummiboot icon is taken from the gummiboot Web page
+ (http://freedesktop.org/wiki/Software/gummiboot) and scaled down
+ slightly.
+
* Dave Vasilevsky (dave@vasilevsky.ca) contributed the disk-ejection
code.
+
+* John Bressler (jrb1327@gmail.com) contributed the code to boot BIOS-based
+ OSes on UEFI-based PCs.
+
+* The code for editing boot options (cursor_left(), cursor_right(), and
+ line_edit() in screen.c) is taken from gummiboot.