I would like to know if any RTOS with display support (preferably HDMI) is present for Raspberry Pi 2?

I'm not looking for a simple RTOS port that just does an LED ON/OFF.

  • 1
    Could you explain the difference between a simple RTOS and the one you are looking for? Which RTOS have you already considered and discarded? – joan Feb 1 '16 at 9:44
  • @joan I have considered FreeRTOS and ChibiOS RT initially. Both are ported into Rpi but not sure how well the existing port can handle something like HDMI display. – Ajith P Venugopal Feb 1 '16 at 11:13
  • Why do you want an RTOS? The HDMI bit is an odd requirement for one. – Jacobm001 Feb 1 '16 at 15:23

Is Xenomai/Linux an option for you ? If yes, look here

  • Xenomai/Linux looks very promising but I would like to know whether it is in a stable state or in beta. Also does it supports the display part? – Ajith P Venugopal Feb 1 '16 at 11:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.