Is VMware working to port its hypervisor on non-x86 architectures?

A major detail went almost unnotice in roadshow webcast VMware presented to its investors before IPO.

Describing corporate strategy, VMware President Diane Greene talks about bringing the company to a completely new level while related slide about VMware vision discloses a critical statement:

Virtualization for any OS, any hardware, any form factor.

Any hardware, any form factor seems more than a simple reference to upcoming ESX Server 3.1 hardware appliance VMware is developing with Dell, IBM and other vendors.

Is the company working to port its hypervisor to multiple architectures (including mobile ones) to achieve unprecedented software portability?