General setup  --->
    Timers subsystem  --->
        <*>   High Resolution Timer Support