a appropriate CortexA15 development board

There are the Arndale boards, which use Samsung parts:

ArndaleBoard.org

If what you want is Virtualization support, you could take a look at the Raspberry Pi.  The Raspberry Pi 2 uses Cortex-A7, which include the ARMv7 Virtualization extensions:

Raspberry Pi 2 Model B

A quick search, shows a few blogs and forums with people setting up the Raspberry Pi 2 with KVM.

There are the Arndale boards, which use Samsung parts:

ArndaleBoard.org

If what you want is Virtualization support, you could take a look at the Raspberry Pi.  The Raspberry Pi 2 uses Cortex-A7, which include the ARMv7 Virtualization extensions:

Raspberry Pi 2 Model B

A quick search, shows a few blogs and forums with people setting up the Raspberry Pi 2 with KVM.

Thanks for your suggestions. I forgot to mention that I also want a Jtag on the board. It looks that Raspberry Pi 2 Bodel B do not have it.

Currently TI's EVMK2E is one of my target.

Thanks a  lot.