diff options
Diffstat (limited to 'sys/mips/conf/QEMU')
| -rw-r--r-- | sys/mips/conf/QEMU | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/mips/conf/QEMU b/sys/mips/conf/QEMU index 3088524..8f830b7 100644 --- a/sys/mips/conf/QEMU +++ b/sys/mips/conf/QEMU @@ -43,7 +43,7 @@ options PSEUDOFS #Pseudo-filesystem framework options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions # Debugging for use in -current -#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 |
