Solved [Solved] Where is the kernel source code?

[mikemizisys]

Hi.

I am doing an experiment and I need the source code of the FreeBSD kernel, I have downloaded src.txz (ftp://ftp.freebsd.org/pub/FreeBSD/releases/i386/i386/10.0-RELEASE/) and kernel.txz, but I didn't find the source code of the kernel. Do you know where it is?

Thanks for your help.

(Correct me if I write bad English, because I speak Spanish.)

 

[mjguzik]

Re: ¿Where is the kernel source code?.

Well, kernel sources are located in src.txz. Look for the /usr/src/sys directory.

 

[mikemizisys]

Re: ¿Where is the kernel source code?.

Thanks. I found it in /usr/src/sys/kern.