Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. 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

VirtualBox is looking for this file in /usr/include but it's missing in gentoo linux-headers

Does someone know if that is userspace header and gentoo is missing it? Or if that is not it, then if virtualbox is doing it wrong?

actual bug: https://bugs.gentoo.org/show_bug.cgi?id=408611#c6

In file included from /var/tmp/portage/x11-drivers/xf86-video-virtualbox-4.1.10/work/VirtualBox-4.1.10/include/iprt/mem.h:31:0,
                 from /var/tmp/portage/x11-drivers/xf86-video-virtualbox-4.1.10/work/VirtualBox-4.1.10/src/VBox/Runtime/common/alloc/alloc.cpp:34:
/var/tmp/portage/x11-drivers/xf86-video-virtualbox-4.1.10/work/VirtualBox-4.1.10/include/iprt/types.h:112:30: fatal error: linux/compiler.h: No such file or directory
compilation terminated.

Reproducible: Always

also tested with kernel 3.6.6, 3.7-rc5 and some other, on virtualbox 4.2.0 4.2.2 4.2.4

share|improve this question
It's a kernel header that doesn't get installed to /usr/include. Can't repro with 3.6.6 or 3.3.4 (configured and prepared) and VirtualBox 4.2.4. – Mat Nov 20 '12 at 10:22
up vote 3 down vote accepted

This file is not part of the Linux user space API, so it does not get installed into /usr/include.

If VirtualBox wants to compile its own kernel extensions, it should add the kernel source include directory to its include path. (That would be /lib/version/modules/build/include/.)

share|improve this answer
Ok, I need to review why does it does not – Cynede Nov 20 '12 at 16:47

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.