Vmlinux

vmlinux es un archivo ejecutable enlazado estáticamente y que contiene el núcleo Linux en uno de los formatos ejecutables soportados por Linux, tales como ELF, COFF y a.out. El archivo vmlinux puede utilizarse en una depuración del núcleo, para generar la tabla de símbolos u otras operaciones, pero para usarlo como núcleo del sistema operativo debe ser capaz de ejecutarse e iniciar el computador. Para esto se debe agregar un encabezado de arranque múltiple, un sector de arranque y rutinas de inicialización.