diff options
Diffstat (limited to 'sys/mips/conf/SENTRY5')
| -rw-r--r-- | sys/mips/conf/SENTRY5 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/mips/conf/SENTRY5 b/sys/mips/conf/SENTRY5 index c035350cb15e..8579c4cb9e03 100644 --- a/sys/mips/conf/SENTRY5 +++ b/sys/mips/conf/SENTRY5 @@ -56,6 +56,7 @@ options PSEUDOFS #Pseudo-filesystem framework options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions # Debugging for use in -current +#options DEADLKRES options INVARIANTS options INVARIANT_SUPPORT |