Según la salida del comando "file" (existente en sistemas basados en *nix) el fichero de kernel es de tipo: