L4Linux (dm_phys?) problem

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Jan 12 23:05:09 CET 2006

On Wed Jan 11, 2006 at 17:45:30 +0900, Jugwan Eom wrote:
> 2006-01-10 (화), 23:54 +0100, Adam Lackorzynski 쓰시길:
> > With your files I can see this behaviour as well. It's not the kernel,
> > at least. But I can't see any further what it really is. In dispatch.c
> > there's a #if 0 at the beginning of the file. Make that to #if 1 to
> > enable the logging macros and rebuild. (Your source tree is up to date,
> > right?) Now I'd like to see the trace log right after init has been
> > started. You should make that image available, maybe I can dig a bit
> > further this way.
> I put the rebuilded files in <http://getgid.postech.ac.kr/l4.tar.bz2>.
> I have another question. Does this problem only happens to me?

I think I located the problem. I should hit everyone who uses the oskit
mode. I just committed a fix which should hit our public repository
tomorrow (earliest). Please consider using dietlibc mode with

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list