Problem with l4linux on real hardware

Shashi Sharma ssharma at viosoft.com
Fri Oct 7 00:50:53 CEST 2011


On Fri, 2011-10-07 at 00:35 +0200, Adam Lackorzynski wrote:
> 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?

Yes I was able to run it on a AMD Phenom X4 based Desktop, Intel Xeon
based Server and Intel i7 based laptop. It boots up in all these
hardware and gives the prompt.
>  
> > 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.

Any suggestion on how to go about digging more into this? 

-Shashi
> 
> 
> Adam






More information about the l4-hackers mailing list