Searching in gcc/config/vxworks/base