Re: booting l4-Hurd, memory unaligned

[Yoshinori K. Okuji]

On Tuesday 05 April 2005 04:56 am, Derek Davies wrote:
> Grub supplies the initial memory map information to laden, so its
> possible this is a grub bug.  Then again, the BIOS supplies the info
> to grub, so it could be a BIOS bug.  I suppose there's some remote
> possibility that its an l4/hurd bug too :)

It is a bug in laden. It should not check the alignment of a memory region, 
when it does not intend to map the region. Current code checks all memory 
maps even if they are reserved for BIOS thus not used by laden.

Actually, I guess the length returned by the BIOS looks bogus. Possibly it is 
a bug in the BIOS. But, strictly speaking, there is no such rule that memory 
maps must be aligned for BIOS. The rule is defined by laden, so the BIOS may 
or may not follow it. Therefore, the length is valid in a sense.

Okuji