I downloaded devuan-jessie-i386-alpha4-netboot.iso and installed it on a
key with unetbootin. However, it would not boot, and when I looked more
closely at it I find that its /boot directory has the initrd0.amd
vmlinuz0.amd.

Was the reason for my key not booting that it is for an AMD64 system?
Is not devuan-jessie-i386-alpha4-netboot.iso for a 32 bit system?

Haines Brown