F9 is an experimental microkernel used to construct flexible embedded systems. It implements a tickless scheduler to improve energy efficiency by avoiding periodic timer interrupts. The scheduler code uses scheduling slots and a thread control block to select the next runnable thread. Important files related to scheduling include sched.c, ktimer.c, and thread.c. The kernel aims to support real-time and time-sharing applications on ARM Cortex-M microprocessors.
Related topics: