svn commit: r343713 - in head/sys: amd64/conf arm64/conf

Andrew Turner andrew at FreeBSD.org
Sun Feb 3 12:46:28 UTC 2019


Author: andrew
Date: Sun Feb  3 12:46:27 2019
New Revision: 343713
URL: https://svnweb.freebsd.org/changeset/base/343713

Log:
  Enable COVERAGE and KCOV by default on arm64 and amd64.
  
  This allows userspace to trace the kernel using the coverage sanitizer
  found in clang. It will also allow other coverage tools to be built as
  modules and attach into the same framework.
  
  Sponsored by:	DARPA, AFRL

Modified:
  head/sys/amd64/conf/GENERIC
  head/sys/arm64/conf/GENERIC

Modified: head/sys/amd64/conf/GENERIC
==============================================================================
--- head/sys/amd64/conf/GENERIC	Sun Feb  3 11:41:43 2019	(r343712)
+++ head/sys/amd64/conf/GENERIC	Sun Feb  3 12:46:27 2019	(r343713)
@@ -102,8 +102,8 @@ options 	MALLOC_DEBUG_MAXZONES=8	# Separate malloc(9) 
 options 	VERBOSE_SYSINIT=0	# Support debug.verbose_sysinit, off by default
 
 # Kernel Sanitizers
-#options 	COVERAGE		# Generic kernel coverage. Used by KCOV
-#options 	KCOV			# Kernel Coverage Sanitizer
+options 	COVERAGE		# Generic kernel coverage. Used by KCOV
+options 	KCOV			# Kernel Coverage Sanitizer
 # Warning: KUBSAN can result in a kernel too large for loader to load
 #options 	KUBSAN			# Kernel Undefined Behavior Sanitizer
 

Modified: head/sys/arm64/conf/GENERIC
==============================================================================
--- head/sys/arm64/conf/GENERIC	Sun Feb  3 11:41:43 2019	(r343712)
+++ head/sys/arm64/conf/GENERIC	Sun Feb  3 12:46:27 2019	(r343713)
@@ -94,8 +94,8 @@ options 	USB_DEBUG		# enable debug msgs
 options 	VERBOSE_SYSINIT=0	# Support debug.verbose_sysinit, off by default
 
 # Kernel Sanitizers
-#options 	COVERAGE		# Generic kernel coverage. Used by KCOV
-#options 	KCOV			# Kernel Coverage Sanitizer
+options 	COVERAGE		# Generic kernel coverage. Used by KCOV
+options 	KCOV			# Kernel Coverage Sanitizer
 # Warning: KUBSAN can result in a kernel too large for loader to load
 #options 	KUBSAN			# Kernel Undefined Behavior Sanitizer
 


More information about the svn-src-head mailing list