savedcmd_drivers/xen/built-in.a := rm -f drivers/xen/built-in.a;  printf "drivers/xen/%s " cpu_hotplug.o grant-table.o features.o balloon.o manage.o time.o mem-reservation.o events/built-in.a xenbus/built-in.a arm-device.o pci.o dbgp.o biomerge.o xen-balloon.o evtchn.o gntdev.o gntalloc.o xenfs/built-in.a sys-hypervisor.o swiotlb-xen.o xen-pciback/built-in.a privcmd.o privcmd-buf.o efi.o xlate_mmu.o | xargs ar cDPrST drivers/xen/built-in.a