По сути, такой взгляд заставляет говорить о новом поколении RTOS, которое было бы легковесным и оптимизированным под многоядерные и гетерогенные конфигурации. В принципе это то, под что в свое время была создана RTEMS. Портов под 64bit ARM не нашел, хотя сама RTEMS сделаеа очень гибко, и 64 бита SPARC поддерживает очень давно.