3 Commits

Author	SHA1	Message	Date
Marek Marczykowski-Górecki	1430861c6b	kernel-install: (EFI) really install kernel image ... Not only add it to the configuration. Fixes QubesOS/qubes-issues#1492	2015-12-05 15:18:08 +01:00
Marek Marczykowski-Górecki	8a9d3de1ef	kernel-install: fix EFI dir path in xen.cfg generation script ... Fixes QubesOS/qubes-issues#1492	2015-12-05 15:05:34 +01:00
Marek Marczykowski-Górecki	867baa7266	kernel-install: add new kernel to xen.cfg for xen.efi ... QubesOS/qubes-issues#794	2015-09-26 03:56:16 +02:00