17 Sept 2025 12:25:54 fsmithred via Dng <dng@???>:

> I'm curious to know if the Devuan amd64 live isos boot on your tablet. (I'm assuming you can boot from usb on that thing.)
>

I only tried the Devuan netinstall.iso which I use to get the Runit install option and it doesn't have bootia32.efi.

> Thanks in advance if you have a chance to try that.
>

I can do that, though it's a problem of the past really anyway now though perhaps Windows 10 dropping updates will cause a surge. They just gave me an extra year to 2026 for enrolling with a microsoft account for free though.

> Note: If you get ambitious and want to try installing devuan on the tablet, you would need to install the 32-bit grub package in the live environment before installing the system. This has been minimally tested and it's been a few years since I've heard of anyone doing it.

Mint was the only iso I found with bootia32.efi due to a forum discussion and I did what you said via chroot after install. I didn't realise changes persisted or know it wouldn't boot after install.

Cheers