diff options
Diffstat (limited to 'sys/alpha/conf/GENERIC')
-rw-r--r-- | sys/alpha/conf/GENERIC | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC index 6340bb2..21edd45 100644 --- a/sys/alpha/conf/GENERIC +++ b/sys/alpha/conf/GENERIC @@ -30,7 +30,7 @@ maxusers 32 #To statically compile in device wiring instead of /boot/device.hints #hints "GENERIC.hints" -#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols +makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols # Platforms supported options API_UP1000 # UP1000, UP1100 (Nautilus) @@ -70,6 +70,12 @@ options SYSVSEM #SYSV-style semaphores options P1003_1B #Posix P1003_1B real-time extentions options _KPOSIX_PRIORITY_SCHEDULING +# Debugging for use in -current +options DDB +options INVARIANTS +options INVARIANT_SUPPORT +options WITNESS + # Standard busses device isa device pci |