[okl4-developer] Problem with running 'l4test'
Yeonju
xelis at hufs.ac.kr
Thu Dec 4 14:09:49 EST 2008
Hi-.
I misunderstand your message.
I think that you suggest me to repost dumped physical memory using KDB.
This is my build command line,
[root at localhost okl4_2.1]# ./tools/build.py machine=gta01 project=l4test
and I also used command option "mutex_type=user".
[root at localhost okl4_2.1]# ./tools/build.py machine=gta01 project=l4test
mutex_type=user
I use okl4 2.1 (not fixed.7) and Fedora6.
My target board is MBA2440 based on s3C2440.
I wonder I understand your message correctly.
Regards,
Geoffrey Lee wrote:
>
> On Tue, Dec 02, 2008 at 07:50:20PM -0800, Yeonju 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.
>
>
> Just so that I understand your problem correctly, could you please
> re-post the exact build command line that you used to build your
> image, as well as the resulting output? In addition, are you
> running this on hardware or simulator?
>
>
>>
>> Regards,
>>
>
> -gl
>
>>
>>
>> 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.
>> >>
>> >> >./tools/build.py machine=gta01 project=l4test
>> >> Binary image was made successful.
>> >> But, after load that image on board, I saw 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-
>> >> >
>> >> 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-
>> >> >
>> >> 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.
>> >>
>> >> >./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
>>
>
> --
>
>
> _______________________________________________
> 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-tp1607028p1611958.html
Sent from the OKL4 Community Forum mailing list archive at Nabble.com.
More information about the Developer
mailing list