--- gcc-7.2.0/gcc/config.gcc.orig	2017-11-03 09:57:18.704311082 +0100
+++ gcc-7.2.0/gcc/config.gcc	2017-11-03 09:57:25.924298679 +0100
@@ -2506,7 +2506,7 @@
 		    ;;
 	esac
 	;;
-powerpc-wrs-vxworks|powerpc-wrs-vxworksae|powerpc-wrs-vxworksmils)
+powerpc-wrs-vxworks|powerpc-wrs-vxworks55|powerpc-wrs-vxworksae|powerpc-wrs-vxworksmils)
 	tm_file="${tm_file} elfos.h freebsd-spec.h rs6000/sysv4.h"
 	tmake_file="${tmake_file} rs6000/t-fprules rs6000/t-ppccomm rs6000/t-vxworks"
 	extra_options="${extra_options} rs6000/sysv4.opt"