JSF 1.2 on Java EE 5 Compatible Application Servers

[Arash Rajaeeyan]

there are 3 Java EE 5 Compatible Implementations:
http://java.sun.com/javaee/overview/compatibility.jsp
SAP NetWeaver Application Server Java EE 5 Edition
TmaxSoft JEUS 6
Sun Java System Application Server Platform Edition 9 (Glassfish)

does any body know what implementation of JSF are they using?
is myfaces going to be tested on any of these implementations?

Regards
Arash Rajaeeyan