Arch Linux

arisinfenix

Member

From: Germany

Registered: 2018-06-20

Posts: 37

efi32iso - Remaster an Arch ISO with 32bit EFI

The Arch ISO does not support booting on 32bit UEFI machines (e.g. many cheap baytrail devices). Quite some time ago I've written a script to remaster the ISO with an 32bit efi loader. I don't have any 32bit UEFI device anymore, but maybe someone else will find this useful, so I decided to share it here. It is an easy way to get a bootable ISO for 32bit UEFI devices.

The Script

https://github.com/arisinfenix/efi32iso

Usage

1. Download the Arch ISO
2. Run the script and pass the ISO file as parameter, e.g.

efi32iso ~/Downloads/archlinux-2020.10.01-x86_64.iso

3. Will create

~/Downloads/archlinux-2020.10.01-x86_64-efi32.iso

What it does

It just adds bootia32.efi created with grub-mkstandalone to the ISO, all other things are untouched.

Last edited by arisinfenix (2020-10-31 11:04:41)