Hi, all.
I have read a lot from this list, but I didn't find any idea about how to
boot my 32 bits kernel.
I tried to use EFI32/64 syslinux (both versions 6.03 and 6.04-pre1) and it
didn't work (it freezes after loading the kernel/initrd).
I tried with two different computers (both x86_64), but one has UEFI ia32
firmware and the other UEFI x64 firmware, so it was possible to test syslinux
with EFI32 and EFI64 without any success.
The kernel version used is 4.9 compiled for 32 bits. I also tried to compile
it for 64 bits and it works, but I have to run it in 32 bits.
What I need is some clues about this problem. Does anyone have any idea why
this problem happens? Is there any suggestion on how to make it work?
I read from some previous email in this list that the kernel version 4.4
compiled in 32 bits is working. What could be the difference between the two
kernel versions that would affect boot?
Best regards.
Alex
