[arch-general] UEFI madness

Mika Fischer mika.fischer at zoopnet.de
Sun Mar 3 07:09:57 EST 2013

On Sun, Mar 3, 2013 at 12:54 PM, Mika Fischer <mika.fischer at zoopnet.de> wrote:
> OK, I found this:
> http://www.freedesktop.org/software/systemd/man/kernel-install.html
> But this does not really help by itself. Arch would still need to
> change where the kernels are installed to prevent clobbering the root
> of the ESP, for instance by installing somewhere in /usr and then
> calling this tool in post_install() to install the kernel to the
> proper location in /boot, which is system-specific.
> Is anything in this direction planned? Such a change might also be
> somewhat disruptive to users with BIOS and users with EFI who don't
> use gummiboot...

Just for reference: the whole thing is also explained in some detail here:

More information about the arch-general mailing list