Kernel source are are not found in /usr/src/sys

[archon]

Dear all,
I installed the latest 32bit PC-BSD 8.1 beta 1 from the DVD. When I am asked for additional components I choose to install the sources and ports. The ports are installed after installation has finished but the kernel sources are not. They cannot be found in /usr/src/sys


All best,
Archon.

[kmoore134]

Just did a test here with a RC1 ISO (out soon) and it seemed to load src
just fine, I got everything normal in /usr/src/sys. You sure you weren't
looking in the ports jail by mistake?

[darkshadow]

try this :
sudo sysintall
chose disrubation
then choose src only (only src)
try the dvd first if it wont work try the ftp