emlix ported Adeos/I-pipe and Xenomai to the Samsung S3C24xx ARM microcontrollers. Adeos/I-pipe, the real-time system enabler and Xenomai, a real-time framework for GNU/Linux provide a flexible environment for applications with hard real-time requirements.
Porting Adeos/I-pipe to the S3C24xx is finished. Since Xenomai 2.3 the external patch for the S3C24xx is now a part of Adeos/I-pipe and thus shipped with Xenomai. Along with the support for the S3C24xx a fully functional ARM-generic I-pipe tracer was developed and can be found in Xenomai 2.3.