ABSTRACT:
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.