Hello, Minor updates to the x86 specific config files for VxWorks, to account for 64bit ABIs.
Tested together with the previous patches in the
vx7 series, for x86_64-vxworks7 in particular.
Committing to mainline.
With Kind Regards,
Olivier
2017-06-27 Jerome Lambourg <lambo...@adacore.com>
Olivier Hainque <hain...@adacore.com>
* config/i386/vxworks.h (DBX_REGISTER_NUMBER): Pick distinct
map for 64bits.
(TARGET_OS_CPP_BUILTINS): builtin_define CPU to X86_64 for 64bit
targets. Pick a default if no particular attempt applied.
(STACK_CHECK_PROTECT): Double for 64bit targets, which have
larger contexts.
0007-support-for-x86-and-x86_64-vxworks7-vxworks-config-f.patch
Description: Binary data
