fnord@vgnnr498e:~$ dpkg -l | grep linux-image
ii  linux-image-4.18.0-15-generic          4.18.0-15.16~18.04.1                    amd64        Signed kernel image generic
ii  linux-image-4.18.0-17-generic          4.18.0-17.18~18.04.1                    amd64        Signed kernel image generic
ii  linux-image-4.18.0-18-generic          4.18.0-18.19~18.04.1                    amd64        Signed kernel image generic
ii  linux-image-generic-hwe-18.04          4.18.0.18.68                            amd64        Generic Linux kernel image
fnord@vgnnr498e:~$