Eiji Ota age@yk.fujitsu.co.jp writes:
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 ?
If you can attach a remote GDB via a serial line, you can generate a backtrace.
This might be a bug either in Fiasco or in an application (in which case the code in v_insert() must be made more robust; that is, it must return an error instead of panicking the kernel).
What are you doing when the assertion fails? Booting? Starting X11?
Michael