2
votes
1answer
586 views

Virtualbox complains that I don't have headers

I've installed Virtualbox (on Debian testing amd64)according to the wiki. But I get this error: $ virtualbox WARNING: The character device /dev/vboxdrv does not exist. Please install the ...
9
votes
3answers
17k views

Enabling IOMMU in the kernel for graphics card pass-through

Short question: How can I turn on the intel_iommu setting in the Linux kernel? I run a Debian host, using the grub2 bootloader. Documentation I've seen says to edit /boot/grub/menu.lst, which seems ...
2
votes
1answer
578 views

is linux/compiler.h a userspace header?

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 ...
4
votes
1answer
2k views

VirtualBox: mount a shared folder automatically in Gentoo

I'm currently writing a template (in veewee) to build a vagrant box running Funtoo x86_64. Currently, my box fails the last step for vagrant basebox validate, in which a shared folder has to be ...
1
vote
2answers
1k views

Running Linux kernel in Virtualbox

I just built a Linux kernel on Ubuntu and now I want to make it run on VirtualBox. I wanted it to be in an img format. I created a hard drive image by doing the commands: $ qemu-img create disk.img ...