xiaoxiang781216 commented on a change in pull request #2043:
URL: https://github.com/apache/incubator-nuttx/pull/2043#discussion_r508322454



##########
File path: sched/Kconfig
##########
@@ -990,6 +990,14 @@ config SCHED_INSTRUMENTATION_IRQHANDLER
 
                        void sched_note_irqhandler(int irq, FAR void *handler, 
bool enter);
 
+config SCHED_INSTRUMENTATION_HIRES
+       bool "Use Hi-Res RTC for instrumentation"
+       depends on RTC_HIRES

Review comment:
       should we decopule SCHED_INSTRUMENTATION_HIRES from RTC_HIRES? since 
many system timer support the microsecond now, on the other hand, ony few RTC 
support the high resolution.




----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to