Some changes to support VxWorks in the validted module.