[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