AV PCT Input/Output Resource Assignment

The ownership of input and output peripherals is divided between the guest OS and the service VMs.

The following table details the type of access the guest OS or service VMs have for each I/O peripheral.

HDMI Configuration

To support HDMI hot plugging,

  1. The dtsi node dp_aux_ch0_hpd_pm0 of the pinmux configuration must be manually changed from "dp" to "rsvd1" below in pinmux/tegra234-mb1-bct-gpio-p3701-0001.dtsi:

    dp_aux_ch0_hpd_pm0 {
                        ...
                        nvidia,function = "rsvd1";
                        };
    Note: The dp_aux_ch0_hpd_pm0 node is automatically generated using the steps described in Configuring Pinmux and GPIO.

  2. Enable GPIO port M pin 0 GPIO pin, which is HDMI hotplug GPIO pin in pinmux/tegra234-mb1-bct-pinmux-p3701-0001.dtsi as shown below:

    gpio_main_default: default {
    gpio-input = <
              ...
              TEGRA234_MAIN_GPIO(M, 0)
              ...
              >;
          };