Problems with l4linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Nov 5 22:25:19 CET 2008


On Tue Nov 04, 2008 at 14:32:50 +1200, valerius wrote:
> ÷ ÓÏÏÂÝÅÎÉÉ ÏÔ Tuesday 04 November 2008 09:44:43 Adam Lackorzynski ÎÁÐÉÓÁÌ(Á):
> > >
> > > l4lx    | [F.1] semaphore/lib/src/semaphore.c:339:l4semaphore_thread():
> > > l4lx    |  Error: L4semaphore: ignored request from other task (1B.00,
> > > I'm F.01
> > > l4lx    : )!
> > >
> > > Linux stops with black screen. :( The run program shows that application
> > > with task Id = 0x1b is Linux application (it says, "owner: f.4"). It
> > > seems it is X server. I start X server from a drops-fp.rd ramdisk image
> > > from TUD site. The problem seems to be that X server runs as another task
> > > and Linux accepts only requests from its threads.
> >
> > Do you mean drops-rd.rd? There's no X server in there. What did you use?
> 
> as I checked this, it's the same as drops-x.rd (comparing two files with cmp 
> gives no difference) from DROPS/TUD:OS demo CD (I downloaded it about 1
> year ago). 

Ok.
 
> > The above message would mean that the X server is talking to the
> > L4Linux-server which is a no-go except the special X driver is used.
> >
> 
> I enabled X server stub in L4Linux configuration (a checkbox "Support for X 
> Window System driver" is enabled). And nitovlwm server is started. What could
> I miss then?

This setup is not the easiest one and not easy to setup, it also
requires quite an effort for me to get this running. I recommend using
the X 'fbdev' driver which basically just works out of the box. It isn't
as CPU friendly as it could be but the handling is easy. Using a special
X driver is better in several ways but requires some care.


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




More information about the l4-hackers mailing list