I'm porting NetBSD to the EVM and was planning on using the Generic Timer that's in the A15.
Two things I noticed is that u-boot doesn't set the CNTFRQ cp15 register which is only writeable from Secure mode. Also u-boot doesn't correct update the PRM_FRAC_NUMERATOR_* registers to deal with the fact that it uses a 19.2MHz clock. Those default to the 38.4MHz values so the generic time runs as 3.072MHz instead of 6.144MHz. So far I've worked around these issues.
It would be nice if u-boot on the EVM support the existing EHCI port. That way I could plug in a USB-Ethernet dongle and be able to network boot kernels instead of moving my uSD card back and forth.
Support for the ahci sata in u-boot would be nice too.
