page size assertion

[Eiji Ota]

Hi all,

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.

Any ideas ?

- Eiji Ota