Para determinar si la CPU dispones de estas extensiones en Linux, hay que ejecutar el siguiente comando desde la consola: