acassis commented on code in PR #12803:
URL: https://github.com/apache/nuttx/pull/12803#discussion_r1696854352
##########
arch/x86_64/src/intel64/Kconfig:
##########
@@ -68,6 +68,10 @@ config ARCH_INTEL64_TSC
---help---
Select to enable the use of TSC APIC timer of x86_64
+config ARCH_INTEL64_HPET_ALARM
+ bool "HPET timer alarm support"
+ depends on ALARM_ARCH
Review Comment:
Please include --help-- with some useful information to users, when to use
HPET Alarm instead other timer, etc
--
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.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
