> On Aug 1, 2017, at 16:31 , Olivier Hainque <hain...@adacore.com> wrote: > > This patch adds a variant implementation of _clear_cache > for arm-vxworks*, needed for proper functioning of trampolines > on targets with separate instruction/data caches.
Forgot to mention: Tested by verifying success of an in-house build and proper execution of ACATS tests with a gcc-7 based compiler for arm-vxworks and arm-vxworks7, and checking that a build for arm-wrs-vxworks proceeds to completion on mainline.