page size assertion
age at yk.fujitsu.co.jp
Sat Nov 28 05:53:13 CET 1998
> > 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
I'm not familiar with this analysis, anyway, I'll try this, however,
I'm happy if you tell me how-to at this point if possible.
> 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?
It was booting. I'll dig this out later as far as I can.
More information about the l4-hackers