https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=264867
--- Comment #12 from Mark Johnston <ma...@freebsd.org> --- (In reply to felice.tufo from comment #11) The variable is KERNCONF, not KERNELCONFIG, but I don't see why you would need to create a new kernel configuration for a patch. The patched kern_clocksource.c looks right to me. -- You are receiving this mail because: You are the assignee for the bug.