[okl4-developer] Problem with running 'l4test'
Yeonju
xelis at hufs.ac.kr
Wed Dec 3 14:50:20 EST 2008
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.
>>
>> >./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.
More information about the Developer
mailing list