RL-ARM User's Guide

HW Resources Required

In order to run the RTX kernel, the following hardware resources are required from an ARM device:

  • Peripheral Timer for generating periodic ticks. It is better to use a peripheral timer with an auto-reload function. RTX also supports timers with manual timer (or counter) reload. However, this can generate jitter and inaccuracy in the long run. The RTX kernel needs a count-up timer. If the timer used is a count-down timer, you need to convert the timer value.
  • Timer Interrupts to interrupt the execution of a task and to start the system task scheduler.
  • Forced Interrupts to force a timer interrupt when isr_ functions are used. If an isr_ function is called, the kernel forces the timer interrupt immediately after the interrupt ends. The forced timer interrupt activates the task scheduler. It is possible that a task has become ready. If this task has a higher priority than the currently running task, a task switch must occur.