Re: IA64 port

[tgingold]

Quoting Robert Millan <address@hidden>:
> > > Why is this needed?  I'm not sure if it's good to exploit this
> "unreliability"
> > > feature that fat provides us ;-)
> >
> > On EFI, the prefix is extracted from an EFI path, whose case may not match
> > the FAT entries.
>
> Can you be more specific about this?  What do the specs say?  We wrote
> /boot/grub ourselves via grub-install;  is an EFI-compliant firmware
> allowed to actively mess up case in paths we provided?

On EFI, we don't really know where grub is stored.  There is a filesystem
layout convention we'd better to follow.  As a consequence, we extract the
path from an EFI structure (I didn't write this code - it's in the EFI common
code).

Did I answer to all your concerns on this topic ?