On Sat, 2005-10-22 at 12:23 +0200, Marcus Brinkmann wrote:
> At Sat, 22 Oct 2005 03:07:16 +0200,
> Matthieu Lemerre <[EMAIL PROTECTED]> wrote:
> > Marcus Brinkmann <[EMAIL PROTECTED]> 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



_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd

Reply via email to