Last modified on 23 January 2019, at 15:37

UEFI PXE boot to Linux Mint