SDX において、物理リソース（CPU/NIC）を仮想インスタンスに割り当てる基盤となるソフトウェアはどれか。

SDX は内部で Citrix Hypervisor (XenServer) を使用して複数の VPX インスタンスを稼働させている。