…e vSphere Blog . 4 May 2017 . Retrieved 18 August 2017 . ^ HowTos/UEFI - CentOS Wiki ^ Larabel, Michael (30 April 2018). "Debian Making Progress on UEFI SecureBoot Support in 2018" . Phoronix . Phoronix Media . Retrieved 23 May 2018 . ^ Garrett, Matthew (27 December 2012). "Secur…