title: Which Linux RTOS solution should I choose?
body: <p>I'm preparing myself to build RTOS solution on top of Linux this going to work on embedded device. I've done some investigation by myself but still I'm a bit confused. 
  Those are my criteria:</p>
  
  <ul>
  <li><p>Easy to run on Samsung s3c2440 ARM9 machine</p></li>
  <li><p>Open Source</p></li>
  <li><p>Works together with Linux</p></li>
  <li><p>Good community support</p></li>
  </ul>
  
  <p>I've seen RTLinux and <a href="http://www.xenomai.org/index.php/Main_Page" rel="noreferrer">Xenomai</a>. Xenomai looks more like thing for me, but still I'm confused.</p>
  
  <p>Any good advice, pro's and cons?</p>