<libosinfo version="0.0.1">

     See http://www.gnu.org/licenses/ for a copy of the license text -->

  <platform id="http://xen.org/xen/4.0.1">

    <short-id>xen-4.0.1</short-id>

    <name>Xen 4.0.1</name>

    <name xml:lang="uk">Xen 4.0.1</name>

    <name xml:lang="tr">Xen 4.0.1</name>

    <name xml:lang="pt_BR">Xen 4.0.1</name>

    <name xml:lang="pl">Xen 4.0.1</name>

    <name xml:lang="ja">Xen 4.0.1</name>

    <name xml:lang="it">Xen 4.0.1</name>

    <name xml:lang="id">Xen 4.0.1</name>

    <name xml:lang="fr">Xen 4.0.1</name>

    <name xml:lang="es">Xen 4.0.1</name>

    <name xml:lang="de">Xen 4.0.1</name>

    <name xml:lang="ca">Xen 4.0.1</name>

    <vendor>Citrix Systems, Inc.</vendor>

    <vendor xml:lang="uk">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="tr">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="pt_BR">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="pl">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="ja">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="it">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="id">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="fr">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="es">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="de">Citrix Systems, Inc.</vendor>

    <vendor xml:lang="ca">Citrix Systems, Inc.</vendor>

    <version>4.0.1</version>

    <upgrades id="http://xen.org/xen/4.0.0"/>

  </platform>

</libosinfo>