Index: sys/kern/subr_witness.c =================================================================== --- sys/kern/subr_witness.c +++ sys/kern/subr_witness.c @@ -111,6 +111,8 @@ #include #include +FEATURE(witness, "kernel has WITNESS support"); + #ifdef DDB #include #endif