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
l4-hackers@os.inf.tu-dresden.de