set(DRIVER_INSTANCES "devcfg@f8007000")
set(DRIVER_PROP_0_LIST "xlnx,zynq-devcfg-1.0;0xf8007000;0x4008;0xf8f01000")
set(DRIVER_OPTPROP_0_LIST "")
list(APPEND TOTAL_DRIVER_PROP_LIST DRIVER_PROP_0_LIST)
