markm ebd919f034 IFC.		2013-08-22 07:10:18 +00:00
..
DEFAULTS	Disable the option VFS_ALLOW_NONMPSAFE by default on all the supported	2012-03-06 20:01:25 +00:00
GENERIC	IFC.	2013-08-22 07:10:18 +00:00
GENERIC.hints	Provide wbwd(4), a driver for the watchdog timer found on various	2012-03-06 18:44:52 +00:00
Makefile	In sys/<arch>/conf/Makefile set TARGET to <arch>. That allows	2010-01-08 18:57:31 +00:00
NOTES	IFC.	2013-08-22 07:10:18 +00:00
XENHVM	Build modules along with the XENHVM kernels.	2012-08-13 07:36:57 +00:00