[okl4-developer] Fwd: Problem with running 'l4test'

Wed Dec 3 15:27:56 EST 2008

---------- Forwarded message ----------
From: Prince Riley <wmarketing3 at gmail.com>
Date: Tue, Dec 2, 2008 at 10:26 PM
Subject: Re: [okl4-developer] Problem with running 'l4test'
To: Yeonju <xelis at hufs.ac.kr>

Yeonju

Greetings fellow OKL4 developer here ...

You say that in each case your build was successful, but your load/run
failed. You changed build options, rebuild the image, the build was
successful again but image built with those new options still fails to load
and run.

I suggest we can be of help to you if you can isolate what can be causing
the problem. We all want to help/learn from what you are doing. We do need a
full dump of the image and to know if you are running the image under an
emulator. If so what are your emulator options?

To help isolate the problem, the cause of the problem can be in one of three
areas:

First, you have incorrect build options which create a 'successful' image,
but the incorrect options create a run image file that can't be run.

Second, you are using the correct build options which create a 'successful'
image, but you built image mismatched to the OKL4 (emulator Qmeu) load
options.

Finally third, and this is the least likely cause of the problem, the source
code tree you input into your build is not configure correctly or is
incomplete. That means your image is missing code that should be in your
build image but is missing. However the missing code is not caught as a
build error, but is trapped when you run the image.

Prince

On Tue, Dec 2, 2008 at 9:50 PM, Yeonju <xelis at hufs.ac.kr> wrote:

>
> Hi-.
>
> I'm sorry to confuse you. And thank you for your help.
> I'm not so good at English....T-T
>
> I built without "mutex_type=user" at first, but it didn't work. So I
> searched this forum for clue.
> And I found a topic "S3C2440A and okl4". In that topic, you advised to buid
> with "mutex_type=user".
> After I read that, I built with "muetex_type=user". But it also didn't
> work.
>
> I still find a soultion. Please help me.
>
> Regards,
>
>
>
> Geoffrey Lee wrote:
> >
> > On Tue, Dec 02, 2008 at 05:34:35PM -0800, Yeonju wrote:
> >>
> >> Hi~.
> >
> >
> > Hi - to make sure I understand correctly, do you mean that
> > if you build with mutex_type=user, then l4test will run
> > successfully to completion?  Please note that l4test
> > must be run with mutex_type=user, if you run it under
> > a different configuration it may not work.
> >
> >       -gl
> >
> >>
> >> I have a question about 'l4test'.
> >> I succeeded to run example in okl4_2.1/iguana on s3c2440 (ARM920T).
> >> So, I've tried running 'l4test'(in okl4_2.1/l4test), but I failed.
> >>
> >> I buit 'l4test' like this.
> >>
> >> &gt;./tools/build.py machine=gta01 project=l4test
> >> Binary image was made successful.
> >> But, after load that image on board, I&nbsp; saw &nbsp;fourth case.
> >> Fisrt case is "Nothing happen".
> >> There is only one message.
> >>
> >> OKL4 - (provider: Open Kernel Labs) built on Dec 4 2008 07:55:18 using
> >> gcc
> >> ver.
> >> Second case is "L4_Rootserver abort".
> >>
> >> OKL4 - (provider: Open Kernel Labs) built on Dec 4 2008 07:55:18 using
> >> gcc
> >> ver.
> >> bootinfo: max space = 256, mac mutex = 256, phys [0x30700000,
> 0x33ffffff)
> >> Thread Delete failed, ErrorCode = 2
> >> Assertion failed: r ==1, function deleteThread, file
> >> l4test/src/utility.c,
> >> lin.
> >> -KD# User: L4_Rootserver abort()ed-
> >> &gt;
> >> Third case is "Roottask pagefault"
> >>
> >> OKL4 - (provider: Open Kernel Labs) built on Dec 4 2008 07:55:18 using
> >> gcc
> >> ver.
> >> bootinfo: max space = 256, mac mutex = 256, phys [0x30700000,
> 0x33ffffff)
> >> roottask read pagefault at 00bae664, ip=0012a5a0 - deny
> >> -KD# roottask pagefault-
> >> &gt;
> >> Fourth case is "success".
> >> All l4test suite was success.
> >> I fixed console.cc(in platform/s3c2410/pistachip/kdb), traps.spp(in
> >> /arch/arm/pistachio/v5/src) and machine.py(in /arch/arm/tools) for
> >> s3c2440.
> >> And also I tried to build 'l4test' like this.
> >>
> >> &gt;./tools/build.py machine=gta01 project=l4test mutex_type=user
> >> How can I run 'l4test' successful?
> >> Regards,
> >> --
> >> View this message in context:
> >>
> http://n2.nabble.com/Problem-with-running-%27l4test%27-tp1607028p1607028.html
> >> Sent from the OKL4 Community Forum mailing list archive at Nabble.com.
> >
> >> _______________________________________________
> >> Developer mailing list
> >> Developer at okl4.org
> >> https://lists.okl4.org/mailman/listinfo/developer
> >
> >
> > --
> >
> >
> > _______________________________________________
> > Developer mailing list
> > Developer at okl4.org
> > https://lists.okl4.org/mailman/listinfo/developer
> >
> >
>
> --
> View this message in context:
> http://n2.nabble.com/Problem-with-running-%27l4test%27-tp1607028p1607438.html
> Sent from the OKL4 Community Forum mailing list archive at Nabble.com.
>
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20081202/5eded5e6/attachment-0001.htm 