Assaf-h: I should have said "change", because there's only one edit to do. As root, edit the file /etc/default/grub
. Add the line below somewhere before
the line "### DO NOT EDIT BELOW THIS LINE ###
That will cause every
linux kernel command line created by "grub-mkconfig" to have "forcepae" tagged on to its end, automatically. This will keep you from having to manually edit grub.cfg each time grub needs to be reconfigured. The only drawback is that I don't know what happens if you try to load a non-pae kernel this way. If you try one, it might be best just to remove
th e forcepae part from grub.cfg by hand for that kernel.
Once you are finished with /etc/default/grub, as root run:
grub-mkconfig -o /boot/grub/grub.cfg
That will write the grub.cfg you actually want, which includes tagging "forcepae" onto the TUI kernel command line, too. After that's done, you can reboot or just wait to test it at your next regular startup.
Edit: The grub-mkconfig line in the code block above was originally incorrect, and has been fixed. Running the previous incorrect line would have been harmless, but of course it wouldn't have worked.
On the web, you will see references to "update-grub". That's a script or so that some distros use, which calls both "grub-install" and "grub-mkconfig". It might do a couple of other things. VL isn't offering one for now. IMO, it's not a good idea to create one and get users used to doing it a certain way until grub and its documentation settle down a bit.
If anyone is interested, [ . . .]
I actually was trying to count the number of times I've been asked whether a non-pae kernel is available. Gave up the counting part. There are some things I want to try with this myself, but they're very time-consuming so it'll be a while yet. But no doubt there will be those trying it soon. Just hope they give needed feeback.
Again, Thank You!