Problem with l4linux on real hardware

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Oct 7 00:35:58 CEST 2011


On Thu Oct 06, 2011 at 14:24:31 -0700, Shashi Sharma wrote:
> On Thu, 2011-10-06 at 23:09 +0200, Adam Lackorzynski wrote:
> > On Tue Oct 04, 2011 at 17:54:28 -0700, Shashi Sharma wrote:
> > > I am trying to run l4linux on an AMD based server platform with 2 CPU
> > > with 16 cores in total.
> > > 
> > > I built L4 and fiasco with default configuration. And then built
> > > l4linux-3.0 with x86-ux_defconfig.
> > > 
> > > And here is the kernel command line.
> > > 
> > > ++++++++++++++++++++++++++++++++++++++++++++++++++++
> > >   " mem=128M earlyprintk=yes showpfexc=1 console=ttyLv0
> > > l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=20000 init=/bin/sh");
> > > +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> > > 
> > > I am able to run this under qemu. and it works great.
> > > 
> > > But when I run it on the real Hardware I get following error. Can you
> > > please help me with this.
> > 
> > Is this reproducible?
> 
> Yes it happens every time. But I dont thik you can reproduce it on your
> end. Because it happens on this particular hardware I have.

Have a chance to run it on another hardware just to see what happens?
 
> I have attached the complete log. Please see if you can help me identify
> to problem area.

Probably needs some digging. In kmem_cache_create the cachep is 0, the
question is why.


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