wrcore.xdc 12.3 KB