RT-Kernel includes a real-time kernel as well as support for many peripherals and communication protocols. RT-Kernel includes driver models for many types of devices making software easily portable between supported architectures.
RT-Kernel is built for determinism and to support hard real time. Static time-based schedules can be defined and the core supervises that deadlines are kept, in combination with managing less time-critical event-based functionality in a flexible and smooth way.
RT-Kernel is POSIX-like and includes a BSD socket API for TCP/IP. RT-Kernel is supplied with a GCC compiler toolchain optimized for your target architecture. The compiler includes a c library that is integrated with RT-Kernel services such as mutexes, time and standard I/O.