set_property is_global_include true [get_files config/common_defines.vh]
set_property is_global_include true  [get_files config/el2_pdef.vh]
set_property file_type SystemVerilog [get_files config/el2_pdef.vh]
