"comment">//   &lt;o&gt;Timer clock value [Hz] &lt;1-1000000000&gt;</span></div>
<div class="line"><span class="comment">//   &lt;i&gt; Defines the timer clock value.</span></div>
<div class="line"><span class="comment">//   &lt;i&gt; Default: 12000000  (12MHz)</span></div>
<div class="line"><span class="preprocessor">#ifndef OS_CLOCK</span></div>
<div class="line"><span class="preprocessor"></span><span class="preprocessor"> #define OS_CLOCK       12000000</span></div>
<div class="line"><span class="prepro