page size assertion

[Eiji Ota]

> > > I'm interested in this fantastic work(of course, L4). When I tried to
> > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in
> > > space.cc(178 line).
> > > 
> > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as
> > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble.

Hi, after I changed the 113-line in ipc_map.cc to the following, it
worked, though I don't know whether  it was correct or not.

 if (size > snd_size // want to send less that a superpage?
		    |
		    V
 if (size >= snd_size // want to send less that a superpage?

- Eiji