На выставке Embedded World 2017 (Нюрнберг, Германия) был представлен гипервизор LynxSecure Separation Kernel, запущенный на многопроцессорной однокристальной системе Xilinx Zynq Ultrascale+ на базе ядра Cortex-A53.
Роберт Дэй, вице-президент Lynx по маркетингу, отметил: «Разработчики ARM теперь могут запускать среды с особыми требованиями по безопасности наряду с ОС общего назначения, такими как Linux или ОСРВ LynxOS, на тех же процессорах Xilinx, без ущерба для безопасности, надежности или производительности».