alexander@ERDE:~$ dpkg -l |grep linux-
ii linux-firmware 1.116.2 all Firmware for Linux kernel drivers
ii linux-generic 3.11.0.26.27 amd64 Complete Generic Linux kernel and headers
ii linux-headers-3.11.0-26 3.11.0-26.45 all Header files related to Linux kernel version 3.11.0
ii linux-headers-3.11.0-26-generic 3.11.0-26.45 amd64 Linux kernel headers for version 3.11.0 on 64 bit x86 SMP
ii linux-headers-generic 3.11.0.26.27 amd64 Generic Linux kernel headers
ii linux-image-3.11.0-26-generic 3.11.0-26.45 amd64 Linux kernel image for version 3.11.0 on 64 bit x86 SMP
ii linux-image-extra-3.11.0-26-generic 3.11.0-26.45 amd64 Linux kernel extra modules for version 3.11.0 on 64 bit x86 SMP
ii linux-image-generic 3.11.0.26.27 amd64 Generic Linux kernel image
ii linux-libc-dev:amd64 3.11.0-26.45 amd64 Linux Kernel Headers for development
ii linux-sound-base 1.0.25+dfsg-0ubuntu4 all base package for ALSA and OSS sound systems
ii syslinux-common 3:4.05+dfsg-6+deb7u3ubuntu1 all collection of boot loaders (common files)
ii syslinux-legacy 2:3.63+dfsg-2ubuntu5 amd64 Bootloader for Linux/i386 using MS-DOS floppies