On Wed, May 4, 2016 at 6:51 PM, Neil Bothwick <n...@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! John
