Current Linux Kernel Directory?

[naylinn69]

Hi guys,

I was trying to install VirtualBox Guest Additions and one of the error in the log says that it could not find the sources of the current linux kernel. So where exactly is the kernel source? I tried the find command from terminal but it gave me like a bunch of results.

Thanks,
Nay

[Misalf]

Check out  linux-kernel-sources-env.tcz .
It contains a script for downloading and populating the kernel sources into the file system.
You might want to save the downloaded files for later use. The script will find them if they are stored somewhere in the filesystem. I have them stored elsewhere but sysmlinked to my $HOME.

[naylinn69]

Thanks, Misalf.

Managed to set the KERN_DIR and mount the shared folder using VitualBox services.