Vmlinux
It is a file that is executable and linked which mainly contains the linux kernel in one of the executable file formats which is of course in support with linux inclusive of ELF, COFF.
Its files are required for debugging or other operations like generation of the symbol table. A bootsector/multiboot header and setup routines should be added before it is used as an operating system kernel.

