Re: grub/laden bugs

[Niels Möller]

Yoshinori Okuji <address@hidden> writes:

>  --- Niels Möller <address@hidden> wrote:
> > The mapping is something like
> > 
> > n  base        length       type
> > 1         0x0     0x9 fc00  1
> > 2    0x9 fc00        0x400  2
> > 3   0x10 0000  0x1fee 2800  1
> > 4 0x1ffe 2800     0x1 d800  2
> > 5 0xfeda 0000     0x6 0000  2
> > 6 0xffb8 0000    0x48 0000  2
> 
> Why do you think these are bogus?

Well, I don't fully understand this, the reasons why I think that the
last entries are bogus is that that (i) Marcus' laden program prints
an error message ("More than 4GB RAM not supported by L4" or some
such) and aborts when encountering this map, (ii) L4 fails to boot if
I use a less paranoid version of laden, and (iii) that the first three
entries seems to describe the memory in the machine that I am aware
of. But I may be too ignorant about PC hardware (the computer in
question is a dell latitude).

> You can see what GRUB thinks about your memory map by
> issuing the command "displaymem".

Thanks, I looked for such a command but didn't find it.

> And, if you think GRUB has a bug, please send a report to
> bug-grub rather than l4-hurd.

If it turns out to really be a bug in grub, I will.

/Niels