Hi.
I am an engineer of HPE Aruba distributor in Korea.
Does the point you are talking about mean that "ArubaOS (Procurve)" should also have software that simulates OVA type or HCL-like?
Unfortunately, it doesn't exist yet.
This part seems to be the part to be considered in "HPE Aruba" R & D.
Currently, we also use ArubaOS switches as physical equipment for educational purposes.
And, as an external tool, we are using a community tool called EVE-NG to simulate it.
Comware is HPE's VSR1000 series.
Cisco IOL image.
ArubaOS-CX image.
Virtual PC.
It is used for educational purposes with the above configuration.
In my personal opinion, ArubaOS (Procurve) OVA type virtual images, if developed.
it seems to be useful for education.
I hope it will be of help.
Thank you.