PaRTiKle is an open-source real-time OS for embedded device, a replacement for the core of RTLinux/GPL and it is named eRTL, too. PaRTiKle is designed to be platform independent and could provide POSIX PSE 51 interface so it has been ported to other hardware such as ARM and X86 and it could also run as a domain in the XtratuM nanokernel. L4/Fiasco is a microkernel developed for real-time and security purpose in the DROPS group of the TU-Dresden. This paper describes the architecture and implementation of PaRTiKle (eRTL) on top of L4/Fiasco and finally give the benchmark about this porting.
Download paper as pdf file