Hi,

Would you consider a patch series that adds support for separating the DISTRO_ARCH from the generation of the grub image?

We have a use case where target userland is i386, but firmware only supports loading of 64bit EFI executables.

Currently the DISTRO_ARCH is also used to generate the grub image – if distro arch is i386, then grub image is bootia32.efi.

We fixed this by introducing a new variable used (in bootimg-efi-isar.py) to separately decide the grub image.

Best regards,

Daniel

Med venlig hilsen / Best regards

Daniel Machon
Embedded Linux Engineer
R&D Department

Please note that this message may contain confidential information. If you have received this message by mistake, please inform the sender of the mistake, then delete the message from your system without making, distributing or retaining any copies of it. Although we believe that the message and any attachments are free from viruses and other errors that might affect the computer or IT system where it is received and read, the recipient opens the message at his or her own risk. We assume no responsibility for any loss or damage arising from the receipt or use of this message.

If Universal Robots A/S processes personal data relating to physical persons, such processing will meet the requirements of applicable data protection legislation.Please see our Privacy Policy here.