Most bootloaders (of components) if nothing else will be wrapped in vxworks.