Am Sonntag, den 21.09.2008, 08:35 -0400 schrieb W. Michael Petullo: Hi, > Also, there are a lot of grub_printf statements that > would be removed in a production environment.
Instead of grub_printf you could just use grub_dprintf ("dmi", ...)
and then they get shown with `set debug=dmi' command in real GRUB.
--
Felix Zielcke
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
