On Monday 14 February 2005 21:54, Yoshinori K. Okuji wrote: > I checked how much memory was consumed with grub-emu. I loaded a > config file and executed a command to show a stack pointer on the > command-line interface, then I reloaded the same config file and did > the same command. The result was 0xbffff184 and 0xbffff074. The > difference is 272 in decimal. So I think this is negligible.
I forgot to report a bug in the patch. When I go back to the command-line interface by pressing ESC, the display is not refreshed. I'm not sure how to fix this cleanly. Okuji _______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
