FDP_PDC_EXT.3.2/VI states:

“The TSF shall apply the following rules to the supported protocols: [the TSF shall read the connected display EDID information once during power-on or reboot].”

A vendor's TOE may not automatically (i.e. without human user action) read the EDID information of connected display(s) upon power-on/reboot. it may require that the user press a physical button on the TOE during the power-on/reboot sequence in order for the TOE to read the connected display(s) EDID information. 

FDP_PDC_EXT.3.2/VI in MOD_VI_V1.0 is updated as follows, with underlines denoting addition:

The TSF shall apply the following rules to the supported protocols: [the TSF shall read the connected display EDID information once during power-on or reboot [selection: automatically, when prompted by user intervention]].

Application Note: It is expected that the ST author will make all selections in FDP_PDC_EXT.3.1/VI for which the TOE has an interface; the TOE boundary should encompass the entire device where possible.

If the KM PP-Module is also claimed by the ST, “USB Type-C with DisplayPort as alternate function” may not be selected in conjunction with a touchscreen peripheral device.

If “DisplayPort” is selected, the ST must include the selection-based requirement FDP_IPC_EXT.1.

This PP-Module defines several iterations of FDP_SPR_EXT.1. Depending on the selections made in FDP_PDC_EXT.3.1/VI, the evaluator must include the relevant iterations.

If the TOE can read the connected display EDID information during power-on or reboot without human intervention, the first selection item for FDP_PDC_EXT.3.2/VI is selected. If the TOE requires human intervention to read the connected display EDID during power-on or reboot, the second selection item is selected.

See issue description.