page size assertion

Michael Hohmuth hohmuth at
Sat Nov 28 00:10:14 CET 1998

Eiji Ota <age at> 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
> line).
> The wrong page size seemed to be passed by fpage_map in 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

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?

hohmuth at, hohmuth at

More information about the l4-hackers mailing list