Для платформы Secure Xen ARM представлен паравиртуализированный вариант операционной системы реального времени (RTOS) uC/OS-II. Работа выполнена в лаборатории Операционных Систем университета Кореи для учебных и научно-исследовательских целей. Исходные тексты разработки Xeno-uC/OS-II переданы проекту Xen ARM.