Phoenix Tecnologies comercializa actualmente BIOS ""Phoenix SecureCore Tiano"" y ""Phoenix MicroCore"" compatibles con la interfaz UEFI