diff options
author | Mocramis <mocramis@gmail.com> | 2018-01-08 21:21:13 +0100 |
---|---|---|
committer | Mocramis <mocramis@gmail.com> | 2018-01-08 21:21:13 +0100 |
commit | bf5c783d4cad55ba41210ba71b3c8e28ce63cfa8 (patch) | |
tree | 63ad90bbc798f6cca9b8cf3d11614b480fc76c1b /kern/Kconfig | |
parent | 1ec3d3f143a201984d51f1cff91b0fe29cde2b71 (diff) | |
parent | 65f71c221037e468caa5921d23a86da34f3bd0a5 (diff) |
Merge branch 'master' into perfmon
Diffstat (limited to 'kern/Kconfig')
-rw-r--r-- | kern/Kconfig | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/kern/Kconfig b/kern/Kconfig index a28fc3f..417017b 100644 --- a/kern/Kconfig +++ b/kern/Kconfig @@ -87,3 +87,19 @@ config PERFMON it might lengthen threads scheduling critical section a bit. endmenu + +menu "Debugging" + +config INIT_DEBUG + bool "Initialization debugging" + default n + ---help--- + Enable the debugging of initialization operations. + +config MUTEX_DEBUG + bool "Mutex debugging" + default n + ---help--- + Enable mutex debugging and instrumentation. + +endmenu |