What can I delete from UEFI boot partition?

Bought a new machine, a fanless server type, and I have installed Arch Linux successfully. It boots, runs daemons, etc.

The machine came with a (probably pirated) copy of Windows installed. What can I delete from the /boot directory (which is what /dev/sda1 is mounted on)? I’m never going to boot Windows on this machine again, I’ve already overwritten it.

There’s a bunch of files under /boot/Boot/ that look like unnecessarily fancy Windows bootloader things, fonts, "resources", memtest.exe. There’s also a directory /boot/EFI/Microsoft/ that looks totally extraneous for a Linux machine. Can I delete all of those files?

Asked By: Bruce Ediger

||

Probably, the best thing to do is re-format the partition and then do a boot repair from the Arch install disk; or, you can remove everything that looks like it does not belong from the boot partition (as you have identified some), and in the worst case, do a boot repair iif you break it.

Answered By: GammaZoid
Categories: Answers Tags: ,
Answers are sorted by their score. The answer accepted by the question owner as the best is marked with
at the top-right corner.