VxWorks,IxWorks,WindRiverSystems,theWindRiverSystemslogo,wind,andEmbeddedInternetareregisteredtrademarksofWindRiverSystems,Inc.CrossWind,Tornado,VxMP,VxSim,VxVMI,WindC++,WindConfig,WindFoundationClasses,WindNet,WindPower,WindSh,andWindViewaretrademarksofWindRiverSystems,Inc.