При построении военных тактических систем, связанных с обработкой, хранением, передачей и воспроизведением информации разных уровней секретности Пентагон использует весьма ограниченный круг платформ. Одна из них — SecureOne корпорации Rockwell Collins, причем военные настаивают, чтобы она обеспечивала разделение уровней допуска без применения специализированных аппаратных средств, что позволяет, в частности, экономить пространство и снижать энергопотребление и вес авионики в самолетах. Для решения этой задачи корпорация в ноябре заключила соглашение с фирмой Wind River и будет использовать ее ОСРВ VxWorks в качестве платформы многоуровневой безопасности MLS. Эта ОС сертифицирована по уровню защищенности EAL6+ (максимальный EAL7 подразумевает полную формальную верификацию исходных текстов и модели системы). Для сравнения, Windows и Linux находятся на уровне EAL4.