Hello DWan,
since you are an aruba employee, can you answer if VRRP over VXLAN is actually supported? I am doing a similar setup where I want to use 4x aruba 6300 switches with EVPN / MP-BGP non-stacked to use VXLAN and all of them with vlan interfaces and vrrp over the VLAN interfaces for high availability.
Currently with ArubaOS-CX software version 10.04.1000 as soon as I enable vrrp on the interface vlan the VNI starts flapping, tearing down and up the vxlan vni every some milliseconds. If I remove the vrrp configuration everything works including interface vlan connectivity. When downgrading one switch again to Version 10.04.0003 the setup starts working again (without any configuration change).
So uhm... is this just coincidentally working with VRRP over a vlan interface or should it work and is actually supported?
Without VRRP the only suitable highly available configuration for end devices would be an IPv6 setup with router advertisements from all four 6300 switches and the client is responsible to automatically pick a gateway and change the gateway upon failure.
Another question to that is - will Anycast Gateways for EVPN VXLAN soon be supported? that way we can completely avoid using VRRP over VXLAN and aquire even a better path selection.