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