AWRL1432BOOST-BSD: Description of Systick Regs

Tool/software:

Hi Experts

Customers wish to migrate their own OS on AWRL1432 for BSD use case， 

When they refer to SysTickTimerP.c for Systick module, they find this module is not mentioned in TRM.

Can you pls help check for the elaboration of this module and how to config related registers?

Thanks

Ken