| === infinity_ is now known as infinity | ||
| === cnd_ is now known as cnd | ||
| === broder_ is now known as broder | ||
| === mukhbiir is now known as neoark | ||
| === beisner- is now known as beisner | ||
| === kees_ is now known as kees | ||
| alkisg | Hi, is the 32bit kernel supposed to be loadable under a 64bit UEFI environment? If so, from what version onwards? | 19:43 |
|---|---|---|
| mjg59 | alkisg: No | 19:50 |
| mjg59 | Oh wait | 19:50 |
| alkisg | mjg59: so http://cateee.net/lkddb/web-lkddb/EFI_STUB.html doesn't work under 32 bit? | 19:51 |
| alkisg | I do see the 32bit kernels having that wrapper from 3.4 and after... | 19:52 |
| alkisg | I'm just not sure if it's broken... | 19:52 |
| mjg59 | So yeah that will work | 19:52 |
| mjg59 | But not if you're just trying to boot it as an EFI executable | 19:52 |
| mjg59 | 64-bit EFI can't run 32-bit EFI executables | 19:52 |
| mjg59 | If you're using grub it *should* work | 19:52 |
| alkisg | Wait wait maybe that's why I was having issues | 19:52 |
| alkisg | I tried to load it from ipxe.efi (netbooting) | 19:52 |
| mjg59 | Right that definitely won't work | 19:53 |
| alkisg | grub loads it as a bzimage? | 19:53 |
| mjg59 | Yes | 19:53 |
| mjg59 | But bear in mind that your firmware is free to put UEFI services above 4GB | 19:53 |
| alkisg | So why the wrapper? At which case it would work? (in 32 bit images) | 19:53 |
| mjg59 | In which case a 32-bit kernel is never going to work | 19:53 |
| mjg59 | The PE/COFF wrapper will work fine if you have 32-bit firmware | 19:53 |
| alkisg | Ah, got it | 19:53 |
| alkisg | (09:53:26 μμ) mjg59: But bear in mind that your firmware is free to put UEFI services above 4GB ==> so it's possible that I won't be able to load a 32bit kernel even with grub (as bzimage), right? | 19:54 |
| alkisg | I mean, if I do have a 64bit uefi system which puts things above 4 gb and then calls grub, which then tries to load my 32bit bzimage kernel... | 19:55 |
| alkisg | Thank you :) | 19:57 |
| mjg59 | alkisg: You'll jump into the kernel | 20:02 |
| mjg59 | But the kernel won't be able to make any UEFI calls | 20:02 |
| mjg59 | So various things will be broken | 20:03 |
| alkisg | I was wondering about that... how clever are the 32bit kernels, autodetecting bios/uefi and adjusting their calls automatically...??? | 20:03 |
| mjg59 | Pretty clever | 20:03 |
| alkisg | Cool!!! | 20:03 |
| alkisg | OK, my only question left now is if syslinux.efi is able to load bzimage and not just efi applications... I'll ask that in #syslinux. Thanks again! :) | 20:04 |
| alkisg | Ah, no, I have another one: | 20:08 |
| alkisg | Is it possible to boot a 32bit installation with a 64bit kernel? | 20:09 |
| alkisg | http://askubuntu.com/questions/543658/install-64-bit-kernel-in-32-bit-ubuntu | 20:10 |
| mjg59 | That ought to mostly work | 20:15 |
| === lifeless_ is now known as lifeless | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!