PrKERNELv4

PrKERNELv4 is a fully preemptive and deterministic multitasking kernel for 32-bit RISC processors. It provides high performance with low interrupt latency, is scalable for a low footprint, and provides features required by high-end applications such as dynamic resource generation and priority inversion protection.

PrKERNELv4 complies with the µITRON 4.0 standard.