title: Does any RTOS support SMP scheduling?
body: <p>We have a project in which the SOC has multi-core like ARM Cortex-R8; so we want an open-source RTOS that supports SMP scheduling.  But it seems that no RTOS supports SMP, at least from its official release version.</p>
  
  <p>Could anyone give the suggestion about it?</p>