GRE Tunnel and OSPF between Cisco and HP Aruba L3 2930F Switches

Has anyone configured GRE tunnels between Cisco devices and HP Aruba L3 2930F switches?

Our site to site links are configured to use GRE tunnels through IPSec tunnels, allowing us to run OSPF and dynamically route traffic between sites. Currently, there is a mixture of Cisco routers and L3 switches doing the GRE tunnelling and running the OSPF routing.

We are looking at using HP Aruba L3 2930F switches at a new site. These switches support OSPF, but I haven't been able to confirm if they support GRE tunnels. Anybody know? If they do support GRE, has anybody configured them to work with Cisco at the other end of the GRE tunnel?

Thanks.