On "security updates" of the update manager appears the following list:
headers files relates to linux kernel version 3.0.0 (linux-headers-3.0.0-14 - new installation)
linux kernel headers for version 3.0.0 on x86/x86_64 (linux headers-3.0.0-14-generic - new installation)
generic linux kernel headers (linux-headers-generic)
linux kernel headers for development (linux-libc-dev)
Do you advise me to install them even though I installed the kernel 3.1.2? Or on the contrary I can ignore them without any problem? I use Ubuntu 11.10.
Thank you very much in advance.