Register
dpkg -l |grep linux |grep image
Quote:ii linux-image-3.12.0+ 4.0 amd64 Linux kernel binary image for version 3.12.0+