[patch] powerpc-vxworksmils port, variant of powerpc-vxworksae

[Olivier Hainque]

Hello,

We have been maintaining a port to VxWorks MILS for powerpc for a while now
and thought others might be interested.

VxWorksMILS is very close to VxWorksAE, so the patch is pretty small. The main
noticeable difference is that only the vthreads environment headers are
available, so we arrange to build the libgcc variants all with -mvthreads.

We have been using this with a gcc-4.7 based toolchain for a couple of
years and moved to gcc-4.9 recently. The 4.9 patch applies as-is on mainline.

OK to commit ?

Thanks in advance for your feedback,

With Kind Regards,

Olivier

2014-09-18  Olivier Hainque  <hainque@adacore.com>

gcc/
        * config.gcc (powerpc-wrs-vxworksmils): New configuration.
        * config/rs6000/t-vxworksmils: New file.
        * config/rs6000/vxworksmils.h: New file.

libgcc/
        * config.host (powerpc-wrs-vxworksmils): New configuration,
        same as vxworksae.

contrib/
        * config-list.mk (LIST): Add powerpc-wrs-vxworksmils.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: vxmils.diff
Type: application/octet-stream
Size: 3723 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20140918/add8c319/attachment.obj>