Fichero en código máquina que es parte del

sistema operativo o de algún otro

programa de control, incluidos los ficheros

de configuración utilizados por tales

programas.