Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

After upgrading from Ubuntu 13.04 to Ubuntu 13.10 Intel VTune Amplifier stopped working. As recommeded by developer I tried to reinstall the program and manually compile the needed drivers. However I got some compilation errors, so my next thought was to boot to previous kernel (by restarting and choosing Advanced options from grub menu) and compile and run VTune under it. Now when trying to compile I am facing this error:

ERROR: invalid or inaccessible kernel source directory "/usr/src/linux-3.5.0-34-generic" !

and when trying to get the header files, I am facing this:

E: Unable to locate package linux-headers-3.5.0-34-generic

So is it at all possible to boot to the old kernel to run some programs and otherwise use the new kernel ? And if so, how could I solve my problem above ?

share|improve this question
Yes, you can install multiple kernels at the same time and boot any one of them every the machine boots. Of course you cannot use them simultaneously. – David Foerster Oct 21 '13 at 19:37
Almost all installs end up with multiple kernels, you just end up using the latest unless you specify otherwise. – K7AAY Oct 21 '13 at 19:41
up vote 0 down vote accepted

You cannot use multiple kernels AT the same time. But you can have multiple kernels on your machine and chose in grub what kernel version you want to use.

share|improve this answer
OK, thanks for confirmation, but now I have a second question. The linux kernel I am using right now is 3.5.0-34-generic, but when I search for linux headers of this version in aptitude, I get no results. Searching on my machine, I found headers for 3.5.0-27-generic. Do you think I can use these for compilation, or should I rather find those that match exactly ? – jcxz Oct 21 '13 at 20:07
So if anyone else wondered, I found the linux kernel headers here: and downloaded and installed these deb packages: linux-headers-3.5.0-34-generic_3.5.0-34.55_i386.deb and linux-headers-3.5.0-34_3.5.0-34.55_all.deb (I have a 32-bit system). – jcxz Oct 21 '13 at 21:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.