diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -449,6 +449,9 @@ make | |||
| 449 | task development. To get started with development, please take a look these example | 449 | task development. To get started with development, please take a look these example |
| 450 | programs. | 450 | programs. |
| 451 | </p> | 451 | </p> |
| 452 | <h3>Tracing Overheads and Scheduling Decisions</h3> | ||
| 453 | <p class="qa">LITMUS<sup>RT</sup> provides numerous tracing facilities that are discussed in-depth in the tutorial <a href="doc/tracing.html">Tracing with LITMUS<sup>RT</sup></a>. | ||
| 454 | </p> | ||
| 452 | <p class="nobottommargin"> | 455 | <p class="nobottommargin"> |
| 453 | Please contact <span class="src">bbb[AT]cs.unc.edu</span> if you have any | 456 | Please contact <span class="src">bbb[AT]cs.unc.edu</span> if you have any |
| 454 | questions. | 457 | questions. |