; Autogenerated by regenerate-opt-urls.py from gcc/config/arm/vxworks.opt and generated HTML