Archived TD0206: Testing for Non-Existence of Disconnected Virtual Devices
The Assurance Activity for FPT_DVD_EXT.1 in the Virtualization PP does not support the SFR.
The Assurance Activity for FPT_DVD_EXT.1 is changed as follows:
The evaluator shall connect a device to a VM, then using a device driver running in the guest, scan the VM's processor I/O ports to ensure that the device's ports are present. (The device's interface should be documented in the TSS under FPT_VDP_EXT.1.) The evaluator shall remove the device from the VM and run the scan again. This requirement is met if the device's I/O ports are no longer present.
See issue description.