On Mon, Oct 12, 2020 at 03:06:56AM +0000, Thomas Mueller wrote: [..] > -r--r--r-- 1 root wheel 216493 Jul 23 2019 bootia32.efi > -r--r--r-- 1 root wheel 204662 Jul 23 2019 bootx64.efi [..] > If I want to boot NetBSD-i386, could I use /usr/mdec/bootia32.efi, > /usr/mdec/bootx64.efi, or would booting NetBSD=i386 be impossible.
Which one is used depends on the firmware. Just copy both. Either will be able to boot both i386 and amd64 kernels. Martin
