Having multple kernel sources

Eirik Nygaard eirikn at kerneled.com
Sun Nov 14 09:16:32 PST 2004

This patch lets you set a KERNEL_SOURCE variable in /etc/make.conf or on the
command line and the the kernel source you have specified will be build.

The kernel directory you specify must exist inside your src directory. It
defaults to KERNEL_SOURCE=sys/ if nothing else is specified.

I would just like to know what you people think, is it even needed?


Eirik Nygaard

More information about the Submit mailing list