page size assertion

[Michael Hohmuth]

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