These and other updates appear in version 7 of VxWorks. “There is a standard kernel for big processor cores, and a micro-kernel for small processor cores,” product line manager Prashant Dubal told ...