mrg 3783ca5d30 define _KERNEL_OPT as well as _KERNEL. we will use this in the future to ... get kernel "opt_foo.h" headers, rather than _KERNEL && !_LKM.		2001-05-29 02:20:20 +00:00
..
GENERIC	…
Makefile.cesfic	…
files.cesfic	…
std.cesfic	…