Linux Kernel build for aarch64

[bradfeehan]

Is your feature request related to a problem? Please describe.

I have a single-board computer (SBC), the Odroid N2+. It has a very simple bootloader called Petitboot, it can use kexec to boot into another linux kernel. But there's only a netboot kernel compiled for x86.

Describe the solution you'd like

I see you have netboot.xyz.lkrn for x86, but not arm64 / aarch64.. is this impossible or something that could be added?

Describe alternatives you've considered

Maybe I can write an SD card which runs netboot.xyz? I am not sure if this requires a linux kernel and just uses kexec, but I don't think my computer supports UEFI..

Additional context

[brandonros]

https://boot.netboot.xyz/ipxe/netboot.xyz-arm64.efi

Are you sure this is missing? Works for me on Apple M1.

[bradfeehan]

I'm looking for the lkrn type so I can boot from this thing called petitboot on an ODROID device, it uses kexec internally to boot and needs a kernel and initrd.