matt f3eefe6cf1 Use _KERNEL_OPT around #include "opt_ppcarch.h"		2014-03-03 18:55:02 +00:00
..
dist/zlib	mark variables as used	2013-11-07 17:26:13 +00:00
include	Migrate one last leftover bit (used only by the kernel now) to	2012-02-05 14:19:02 +00:00
lib	Use _KERNEL_OPT around #include "opt_ppcarch.h"	2014-03-03 18:55:02 +00:00