Add options KDB and GDB. KDB takes on the function of what DDB used

to be. Both DDB and GDB specify which KDB backends to include.
This commit is contained in:
Marcel Moolenaar 2004-07-11 03:03:48 +00:00
parent e62468e489
commit cb9d2f078d

View file

@ -72,7 +72,9 @@ options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
options PFIL_HOOKS # pfil(9) framework
# Debugging for use in -current
options DDB #Enable the kernel debugger
options KDB #Enable kernel debugger support
options DDB #Support DDB
options GDB #Support remote GDB
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