the
HAL uses a separate time base through the TIM IPs.</li>
<li>ThreadX is configured with 100 ticks/sec by default, this should be
 taken into account when using delays or timeouts at application. It is always
 possible to reconfigure it, by updating the "TX_TIMER_TICKS_PER_SECOND" define in the 
 "tx_user.h" file. The update should be reflected in "tx_initialize_low_level.S" file too.</li>
<li>ThreadX is disabling all interrupts during kernel start-up to avoid
any unexpected behavior, therefore all system