Hi! > If the debug_never_hash_pointers command line parameter is set, then
Can we make this something shorter? Clearly you don't want people
placing this in their grub config, so they'll be most likely typing
this a lot...
debug_pointers or debug_ptrs would be better.
Thanks,
Pavel
--
http://www.livejournal.com/~pavelmachek
signature.asc
Description: Digital signature
