Tiny Core Linux

Tiny Core Base => TCB Q&A Forum => Topic started by: naylinn69 on September 17, 2014, 05:13:04 PM

Title: Current Linux Kernel Directory?
Post by: naylinn69 on September 17, 2014, 05:13:04 PM

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

Title: Re: Current Linux Kernel Directory?
Post by: Misalf on September 17, 2014, 08:40:56 PM

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.

Title: Re: Current Linux Kernel Directory?
Post by: naylinn69 on September 18, 2014, 01:37:40 PM

Thanks, Misalf.

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