Re: EROS/Coyotos fault handers vs l4 pager hierarchy

[Jonathan S. Shapiro]

On Sat, 2005-10-22 at 12:23 +0200, Marcus Brinkmann wrote:
> At Sat, 22 Oct 2005 03:07:16 +0200,
> Matthieu Lemerre <address@hidden> wrote:
> > Marcus Brinkmann <address@hidden> writes:
> > > I think there is just a misunderstanding here.  The "sender of a page"
> > > in our Hurd-on-L4 design for example is always physmem.

This is the kind of mistake I was talking about. It *may* be true that
the only component of *Hurd* that performs a MAP operation is PhysMem.
It does not follow that this is the only source of MAP operations in the
system. Therefore, this condition is insufficient to ensure real-time
compatibility.

shap