Vmlinux

vmlinux is usually the filename of the kernel, as installed on your machine. This file is loaded by the bootloader.

You may also see vmlinuz -- which means a compressed version.