Is there a list of tested ARM devices for the Embedded 3.7 SDK?

I didn't see any documentation with the download.

Thanks