<platform>
 <config>
  <boolean name="serial_supported" value="true"/>
  <boolean name="hsuart_supported" value="false"/>
  <boolean name="xhcidbg_supported" value="false"/>
  <boolean name="uefi_gop_rmrr_access" value="false"/>
  <boolean name="trng_available" value="false" />
 </config>
 <mappings>
  <aliases>
   <alias name="serial_device_1" physical="com_1">
    <resource name="ioport1" physical="ioport1"/>
   </alias>
   <alias name="nic_1" physical="ethernet_controller_1">
    <resource name="irq1" physical="irq1">
     <resource name="msi1" physical="msi1"/>
     <resource name="msi2" physical="msi2"/>
     <resource name="msi3" physical="msi3"/>
    </resource>
    <resource name="mem1" physical="mem1"/>
    <resource name="mem2" physical="mem2"/>
    <resource name="mem3" physical="mem3"/>
    <if variable="pciconf_emulation_enabled" value="false">
     <resource name="mmconf" physical="mmconf"/>
    </if>
   </alias>
   <alias name="storage_controller" physical="sata_controller_1"/>
  </aliases>
  <classes>
   <class name="additional_nics">
   </class>
  </classes>
 </mappings>
 <kernelDiagnostics type="uart">
  <device physical="com_1">
   <ioPort physical="ioport1"/>
  </device>
 </kernelDiagnostics>
</platform>
