On Sat, 2008-01-05 at 02:09 +0100, Yoshinori K. Okuji wrote: > "big_loaded" sounds horrible to me. How about grub_linux_big_image_loaded?
"big image" is normally abbreviated as bzimage, as opposed to zimage, so I would suggest something of this kind: grub_is_bzimage grub_linux_is_bzimage grub_bzimage_loaded grub_linux_bzimage_loaded -- Regards, Pavel Roskin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
