64 bit pxe boot images

dontbugme · 2012-09-20 10:03:06

Hi, would it be possible for some of the arch maintainers to build a x86_64 ipxe.lkrn image? I have a pxe server, but unfortunately I cannot install arch via efi pxe on my laptop, since the grub image is for x86_64.
Following error message pops up:

error: zImage doesn't support 32-bit boot.

Unfortunately building a 32-bit grub image didn't work either, the laptop just skips directly to normal booting.
Are there some instructions how to build a custom arch ipxe.lkrn image?

nomorewindows · 2012-09-20 13:21:46

You could goto ipxe.org and download the source and try building it yourself.
Or the image you need might be associated with your efi bootloader.
The kernel itself is supposed to have efi loading capabilities.

Last edited by nomorewindows (2012-09-20 13:32:02)

dontbugme · 2012-09-20 13:42:28

(Yeah, but building an ipxe.lkrn image alone with make bin/ipxe.lkrn, doesn't boot me the arch netboot installer. What I wanted to know is, if there is somewhere some documentation about how the arch ipxe.lkrn image is built? Afaik, you can compile ipxe.lkrn with a built-in script, which tells ipxe what to do. I'd like to have that script to rebuild ipxe.lkrn myself. ) -- doesn't really matter anymore.
The issue is something completely different.
1) ipxe.lkrn cannot be booted via grub-efi, since grub-efi doesn't know the command linux16 (16 bit mode).
-> ipxe.lkrn cannot be built in 32/64 bit mode. ipxe images must be booted in 16 bit mode due to some bios low level magic, which doesn't work in 32 bit.
2) ipxe doesn't support my usb<->ethernet adapter AX88772B that was shipped with the Asus UX32VD.
Guess I have to ask the ipxe devs if they could include the driver for this adapter.

Last edited by dontbugme (2012-09-20 13:45:10)

nomorewindows · 2012-09-20 13:59:45

I'm not sure you'll have much luck with the usb/ethernet dongle. That's one more step that has to be overcome before you can even thing about starting off. You have to load some usb drivers just to get to your dongle. While the efi bootloaders seem to be able to do things like this, the dongle is just painful.

dontbugme · 2012-09-20 14:25:40

Hmmm, well we will see. I wrote a message to the ipxe mailing list. I guess I can only hope the devs figure something out.

Arch Linux

#1 2012-09-20 10:03:06

64 bit pxe boot images

#2 2012-09-20 13:21:46

Re: 64 bit pxe boot images

#3 2012-09-20 13:42:28

Re: 64 bit pxe boot images

#4 2012-09-20 13:59:45

Re: 64 bit pxe boot images

#5 2012-09-20 14:25:40

Re: 64 bit pxe boot images

Board footer