[okl4-developer] Problem with running 'l4test'

[Yeonju]

Hi~.

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20081202/4295d240/attachment.htm