diff options
Diffstat (limited to 'sys/arch/pmax/conf')
| -rw-r--r-- | sys/arch/pmax/conf/GENERIC | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arch/pmax/conf/GENERIC b/sys/arch/pmax/conf/GENERIC index 1a36aeefaf4..f5ac502beed 100644 --- a/sys/arch/pmax/conf/GENERIC +++ b/sys/arch/pmax/conf/GENERIC @@ -44,8 +44,8 @@ option SYSVSHM # sysv shared memory # ktrace support option KTRACE # ktrace(1) support # debugging stuff -#option DIAGNOSTIC # extra kernel debugging checks -#option DEBUG # extra kernel debugging support +option DIAGNOSTIC # extra kernel debugging checks +option DEBUG # extra kernel debugging support #option KGDB # support for kernel gdb #option "KGDBRATE=19200" # kernel gdb port rate (default 9600) #option "KGDBDEV=15*256+0" # device for kernel gdb |