[okl4-developer] l4test MAP1000

[Tomas Hruby]

> > Hi,
> > 
> > in the MAP1000 test I am trying to pass on sparc a new thread is
> > created with an initially empty space. When I let this thread run,
> > it fails on instruction TLB miss because the associated space does not
> > have any valid mapping for the code. How is this space supposed to get
> > populated with the code mappings? Please, could you explain me how
> > this should work. I probably got something wrong, but I don't see
> > where the population may happen. Just for the record, kernel is not
> > involved in this, right?
> 
> Hi Tomas - This should get translated as a pagefault IPC to the
> pager  The pager calls MapControl() to populate the address space
> with the appropriate mappings and sends a reply IPC to restart
> the pagefaulting thread.

Ooops, of course, thanks for the hit! T.