https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255251

--- Comment #9 from Jonathan Vasquez <[email protected]> ---
Btw, this is just a GENERIC kernel with the following:

include GENERIC
ident DEBUG

options INVARIANTS
options INVARIANT_SUPPORT

-- 
You are receiving this mail because:
You are the assignee for the bug.

Reply via email to