9.3 How does this RTK differ from AVRX?

Size: about the same. This RTK compiles/assembles to about 1.5kB of flash and 100 bytes of SRAM.

Preemptive nature: both kernels support preemption.

Scheduling: both kernels support scheduling.

Priority levels: both kernels support priority levels. This RTK support round-robin scheduling for threads of the same priority level. AVRX supports only one thread per priority level.

Semaphores: both kernels support semaphores. This RTK supports generalized semaphores (P and V operations) with arbitrary values. Both kernels use queues for waiting.

Message Queues: AVRX has it, this RTK does not.

Single step debugging: AVRX has it, this RTK does not.

Tool-chain: AVRX supports both GCC and IAR-C, this RTK only supports GCC.

Time slicing: This RTK supports it, AVRX has no mentioning of it.

Multiple thread instances of same entry point: This RTK support it, not clear whether AVRX support it or not.