Bill Davidsen <davidsen <at> tmr.com> writes:
> No, all is not well, you could have just changed the value of the
> "default=" line to boot what you want and preserve the ability to run a
> xen kernel if you find later you need to. You jumped to the brute force
> solution just 13 minutes after asking the question.
Why should he keep the Xen kernels installed if he doesn't need them? He can
always reinstall them later when/if he actually needs them.
Kevin Kofler
