diff options
Diffstat (limited to 'sys/conf/options')
-rw-r--r-- | sys/conf/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/conf/options b/sys/conf/options index 3800955..2824aa8 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -519,3 +519,6 @@ ED_NO_MIIBUS opt_ed.h # Polling device handling DEVICE_POLLING opt_global.h + +# Mutex profiling +MUTEX_PROFILING opt_global.h |