Есть ли в инсталляции Tornado x86 операционная система
VxWorks, и как VxWorks установить в контроллер(x86) где она будет работать.