e4bb17279d
Everything is handled within mki-copy-efiboot currently but it needs an image to process; extracting one from bootloader branding seems less hassle than forcing it into every flavour of branding. |
||
---|---|---|
.. | ||
20-branding.mk |