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 -- hohmuth@innocent.com, hohmuth@inf.tu-dresden.de http://home.pages.de/~hohmuth/