set(DRIVER_INSTANCES "interrupt-controller@f8f01000")
set(DRIVER_PROP_0_LIST "arm,cortex-a9-gic;0xf8f01000;0xf8f00100")
set(DRIVER_OPTPROP_0_LIST "")
list(APPEND TOTAL_DRIVER_PROP_LIST DRIVER_PROP_0_LIST)
