diff options
Diffstat (limited to 'features/debug/debug-runtime.cfg')
| -rw-r--r-- | features/debug/debug-runtime.cfg | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/features/debug/debug-runtime.cfg b/features/debug/debug-runtime.cfg new file mode 100644 index 00000000..344bad2f --- /dev/null +++ b/features/debug/debug-runtime.cfg @@ -0,0 +1,6 @@ +# SPDX-License-Identifier: MIT +CONFIG_DEBUG_KERNEL=y +CONFIG_DEBUG_PREEMPT=y +CONFIG_LOCK_DEBUGGING_SUPPORT=y +CONFIG_PROVE_LOCKING=y +CONFIG_DEBUG_TIMEKEEPING=y
\ No newline at end of file |