为什么FREERTOS不是用SYSTIMER做TICK的时钟源呢？

从 MENUCONFIG 看到  freertos 的 tiCK 时钟源 默认来自 timer0 , 也可选择TIMER1 。 看文档介绍  ESP32S2 中有 systimer 作用是专用于操作系统的 。 那么为什么FREERTOS 不是用SYSTIMER 做TICK的时钟源呢？ 或者我对这几个时钟的作用理解是否还存在误区。 能帮解答一下吗？