Si estamos preparando un hackintosh y queremos saber si el número de serie aleatorio que nos ha generado OpenCore Configurator está o no dado de alta en la base de datos de Apple, ejecutamos estos pasos:

Vamos a la web de CheckCoverage de Apple.

Metemos allí el número de serie e ingresamos el captcha que nos aparece.

Si la respuesta es que el número de serie no es válido, no está registrado.