public Builder pool(String pool) {
            return pool(Output.of(pool));
        }
@param pool If pool is set, only devices in that pool are selected.

Also setting the driver name may be useful to avoid ambiguity when different drivers use the same pool name, but this is not required because selecting pools from different drivers may also be useful, for example when drivers with node-local devices use the node name as their pool name.

@return builder
sdk/java/src/main/java/com/pulumi/kubernetes/resource/v1alpha3/inputs/DeviceTaintSelectorArgs.java