Re: [ARM] add armv7ve support

[Gerald Pfeifer]

Renlin Li <renlin...@arm.com> wrote:
>Hi all,
>
>This patch will add armv7ve support to gcc. Armv7ve is basically a 
>armv7-a architecture profile with Virtualization Extensions.

Mind adding this to the release notes?

Gerald