On Mon, 29 Jan 2018 20:08:05 +0100
Michael Lange <
klappnase@freenet.de> wrote :
>I don't know if the Debian Live system will handle the 32bit uefi issue
> properly when installing, but this can , if necessary be fixed later.
> I had the same problem with a similar machine. Of course I could remove
> windows completely.
> I am not sure if the installer's auto-partitioning works properly, I used
> the manual partitioning. You must make sure that you have a small (I
> think 100 MB or so is sufficient) FAT partition with the "Boot" flag set,
> which will be mounted to /boot/efi . The rest of the disk can be used
> as usual for "/" and swap.
> If the installer actually fails to install the proper 32bit-efi-grub, that
> does not mean that your device is bricked. This can be easyly fixed by
> booting a live system again, doing a chroot into the installed system and
> install the required grub packages manually (that's what I had to do ;)
Michael thanks for your guidance. I eventually got around to installing Debian Buster as I thought it was most likely to have my wifi driver (and it did), so the install was much easier.