Средства и методы разработки

Необычный подход. [Качественная RTOS для x86]. Можно коммерческая. Какие есть кандидаты? On Time RTOS-32 ? -> http://www.on-time.com/rtos-32-compatibility.htm
http://www.on-time.com/rtos-32-prices.htm
Пусть у меня многоядерный проц, виртуалка, виртуальная x86 "стандартная машина", в нее проброшено средствами виртуализатора некое PCIe устройство. Хочется управлять этим PCIe устройством под RTOS, управление несложное. Но RT должно быть качественным и гарантированным. Также "стандартной машине" доступны виртуальная сетевуха и виртуальный диск, сделанный виртуализатором из RamDrive хостовой машины. Есть eCOS, RTEMS - у меня есть опыт запуска этих ОСей на 386sx платках, и оно работало очень хорошо. Но вот смотрю я на то, как код под On Time RTOS-32 можно собирать стандартными вендовыми компилерами -->, и душа радуется. Можно нанять вендовых программистов, которых все же больше, чем дзен-эмбеддеров :) Про On Time RTOS-32 вообще интересное написано. Multiprocessor Support RTKernel-32 includes two schedulers: the single-CPU scheduler and a multiprocessor scheduler which can manage up to 32 CPUs (multi-cores, multi-CPUs, Hyperthreads, or a combination thereof). The multiprocessor scheduler automatically distributes threads among all available CPUs. If an OpenMP compatible compiler such as Microsoft Visual Studio is used, parallel algorithms can be distributed onto all available CPUs automatically through compiler directives. Еще раз обращаю внимание, что запускать On Time RTOS-32 на голом современном железе желания нет, а вот запустить под винтуалкой на, скажем на Intel® Atom™ C Series (Denverton) http://caxapa.ru/790594.html Или на любом Apollo Lake http://caxapa.ru/710817.html кучку "виртуальных микроконтроллеров" - это совсем другой подход. У кого какие будут идеи? On Time RTOS-32 достаточно старый коммерческий продукт. Цена в исходниках относительно разумная. Дока качественная. Драйверов много.