On Wed, May 4, 2016 at 6:51 PM, Neil Bothwick <neil@digimed.co.uk> wrote:
SystemRescueCd has boot menu options for picking the kernel, just pick
either rescue64 or altker64.
I did try that at least once, but I think I compensated for doing the right thing at that point with making mistakes elsewhere. I'll give it another try now that I have a 64 bit kernel compiled on the target machine. I'll need that to get the uefi environment I need to accomplish uefi booting. Appreciate your reminding me!