Date: Fri, 2 May 2003 19:42:50 -0700 (PDT) From: Juli Mallett <jmallett@FreeBSD.org> To: Perforce Change Reviews <perforce@freebsd.org> Subject: PERFORCE change 30436 for review Message-ID: <200305030242.h432goDI072312@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://perforce.freebsd.org/chv.cgi?CH=30436 Change 30436 by jmallett@jmallett_dalek on 2003/05/02 19:42:03 Add witness, and invariants, now that we can build them. Affected files ... .. //depot/projects/mips/sys/mips/conf/GENERIC#13 edit Differences ... ==== //depot/projects/mips/sys/mips/conf/GENERIC#13 (text+ko) ==== @@ -22,6 +22,13 @@ options ARCBIOS64 #ARCBIOS uses 64-bit pointers in #structures. Disable for IP22. +# Debugging for use in -current +#options DDB #Enable the kernel debugger +options INVARIANTS #Enable calls of extra sanity checking +options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS +options WITNESS #Enable checks to detect deadlocks and cycles +options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed + options SCHED_4BSD #A scheduler, if you please # Other options
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200305030242.h432goDI072312>