T3_TuyaOS-3.8.5-matter 硬件定时器资源

[wyh]

T3_TuyaOS-3.8.5-matter sdk 有应用可以使用的硬件定时器吗？有使用例子吗？同时我想在硬件定时器中释放一个信号量，线程接受信号量处理，现有TKL层信号量接口是否不支持在终端中post？不支持的话怎么能包含低层的freertos接口使用