savedcmd_drivers/irqchip/irq-pruss-intc.ko := ld -r -EL  -maarch64elf -z noexecstack --no-warn-rwx-segments --build-id=sha1  -T scripts/module.lds -o drivers/irqchip/irq-pruss-intc.ko drivers/irqchip/irq-pruss-intc.o drivers/irqchip/irq-pruss-intc.mod.o
