PaRTiKle's web site

PaRTiKle is a new open source real-time kernel for embedded systems,
distributed under the terms of the GNU Public License. It is important
to note that applications that use PaRTiKle system calls are not
considered as derived work; therefore, PaRTiKle applications
do not need to be GPL or even GPL compatible 1.

It is also royalty and buyout free. In short, PaRTiKle license schema
is the same that the one used in the Linux kernel. If you can write Linux
applications then you can write PaRTiKle applications.

It is a full-featured, flexible, configurable, real time embedded
kernel. The kernel provides thread scheduling, synchronization, timer,
and communication primitives. It handles hardware resources such as
interrupts, exceptions, memory, timers, etc.

PaRTiKle was designed to be POSIX compatible. The native API is ``C''
POSIX threads. But also, provides support for C++, Ada and Java
(tasking, synchronisation, protected objects, exception handling,
etc.). Besides POSIX compatibility, PaRTiKle also provides the
RTLinux/GPL non-portable POSIX extensions; therefore, it should be
possible to compile RTLinux/GPL applications on PaRTiKle to get all
the benefits.

PaRTiKle has been initially developed by the Real-Time Systems
Group 2 of the Universidad Politecnica de Valencia 3, Spain.

1: Although we recomend to use GPL.
2: http://www.gii.upv.es
3: http://www.upv.es