diff options
Diffstat (limited to 'sys/arm/conf/VERSATILEPB')
| -rw-r--r-- | sys/arm/conf/VERSATILEPB | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arm/conf/VERSATILEPB b/sys/arm/conf/VERSATILEPB index fb2087a..e977a4d 100644 --- a/sys/arm/conf/VERSATILEPB +++ b/sys/arm/conf/VERSATILEPB @@ -92,8 +92,8 @@ makeoptions SC_DFLT_FONT=cp437 options KDB 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 INVARIANTS # Enable calls of extra sanity checking +#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS device md device random # Entropy device |
