I need to use Raspberry Pi with a real time operating system. Of course, I want the best solution. I've searched some options, including custom kernel compilation, ready to install RTOS.
So, which will be the better approach? I couldn't find for a good article about it.