4 /usr/bin/grub-mkstandalone --grub-mkimage=./grub-mkimage -o grub.xen -O x86_64-xen \
5 -d /usr/lib/grub/x86_64-xen -c boot/grub-internal/grub-internal.cfg \
6 boot/grub-internal/grub-internal.cfg
9 mkdir -p $(DESTDIR)/usr/lib/grub/
10 cp grub.xen $(DESTDIR)/usr/lib/grub/
15 .PHONY: all install clean