[okl4-developer] Problem with running 'l4test'

[Geoffrey Lee]

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


--