From c1210a7d97fecac5b0028a3d266719a7c447932a Mon Sep 17 00:00:00 2001 From: Attilio Rao Date: Mon, 15 Feb 2010 23:44:48 +0000 Subject: Adjust style (following the already existing rules) for the newly introduced option DEADLKRES. Reported by: danfe, julian, avg --- sys/powerpc/conf/GENERIC | 2 +- sys/powerpc/conf/MPC85XX | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'sys/powerpc/conf') diff --git a/sys/powerpc/conf/GENERIC b/sys/powerpc/conf/GENERIC index 03f3fec42b78..6e1aa09fe186 100644 --- a/sys/powerpc/conf/GENERIC +++ b/sys/powerpc/conf/GENERIC @@ -68,7 +68,7 @@ options INCLUDE_CONFIG_FILE # Include this file in kernel # Debugging for use in -current options KDB #Enable the kernel debugger options DDB #Support DDB -#options DEADLKRES #Enable the deadlock resolver +#options DEADLKRES #Enable the deadlock resolver 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 diff --git a/sys/powerpc/conf/MPC85XX b/sys/powerpc/conf/MPC85XX index 2164f43069d7..51d4e8d53425 100644 --- a/sys/powerpc/conf/MPC85XX +++ b/sys/powerpc/conf/MPC85XX @@ -22,7 +22,7 @@ options BOOTP_WIRED_TO=tsec0 options CD9660 options COMPAT_43 options DDB -#options DEADLKRES +#options DEADLKRES options DEVICE_POLLING options HZ=1000 #options DIAGNOSTIC -- cgit v1.2.3