<include>
 <map logical="crash_audit" physical="crash_audit"/>
 <if variable="dbgserver_sink_serial" value="true">
  <map logical="debugconsole" physical="serial_device_1">
   <if variable="hsuart_supported" value="false">
    <map logical="port" physical="ioport1"/>
   </if>
   <if variable="hsuart_supported" value="true">
    <map logical="mem" physical="mem1"/>
   </if>
  </map>
 </if>
 <if variable="dbgserver_sink_xhcidbg" value="true">
  <map logical="xhci" physical="usb_controller_1">
   <map logical="xhci_registers" physical="mem1"/>
  </map>
  <map logical="xhci_dma" physical="xhci_dma"/>
 </if>
 <if variable="dbgserver_sink_pcspkr" value="true">
  <map logical="pcspeaker" physical="pcspeaker">
   <map logical="Port_61" physical="Port_61"/>
   <map logical="Port_42_43" physical="Port_42_43"/>
  </map>
 </if>
 <map logical="reboot" physical="system_reboot"/>
 <map logical="shutdown" physical="system_poweroff"/>
</include>
