Comment by 9front

And 'vmlinux' was inspired by the 'vmunix' (Virtual Memory Unix) the UNIX kernel.