said deloptes:
| This is strange that you have those in /boot and no package in the list.
| Are you sure that when you execute dpkg -l | grep 4.4.0-124 (or
| 3.13.0-147) nothing pops up?
Yes, it is strange and yes, nothing pops up. As noted later, I have some
but not all kernal sources going back more than a decade sitting
in /usr/src, too. I'm just trying to imagine any conceivable reason I'd
want them around. I don't think I have any hardware that's so deprecated
that it would ever require resort to those things, nor any applications
that recompile themselves and might need them.
--
dep
Pictures:
http://www.ipernity.com/doc/depscribe/album
Column:
https://ofb.biz/author/dep/