Oh, and speaking of PXE support, what's the point of the pxe_unload command? As near as I can tell, it seems to be the equivalent of 'rmmod pxe'. Is there some reason one might want to run this if pxe were built into the core image, or is it cruft that we should remove?
-- Colin Watson [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
