[okl4-developer] L4-iguana running server

Seung-Ho Lim shlim at core.kaist.ac.kr
Thu Jul 26 14:01:10 EST 2007


----- Original Message ----- 
From: "Hal Ashburner" <hala at ok-labs.com>
To: "Seung-Ho Lim" <shlim at core.kaist.ac.kr>
Cc: <developer at okl4.org>
Sent: Wednesday, July 25, 2007 3:45 PM
Subject: Re: [okl4-developer] L4-iguana running server


> On Wed, 2007-07-25 at 15:40 +0900, Seung-Ho Lim wrote:
>> Hi,
>>  
>> I'm trying to port L4-iguana to my own board, arm926
>> I just wanna to run iguana without wombat.
>> currently, L4:pistachio calls iguana root server, and it sees to run.
>> Here is my startup message
> 
>> ## Starting application at 0x30000000 ...
>>  
>> OKL4 - (provider: Open Kernel Labs) built on Jul 25 2007 05:24:34
>> using gcc version 3.4.4.
>> Initialized tracebuffer @ 30140000
>> init_spaceids:125: Init spaceids 256 spaces
>> Initializing kernel space @ f001b120...
>> Initializing KIP...
>> Initializing kernel debugger...
>> KDB CLI Init
>> Initializing interrupts...
>> System running with alignment exceptions enabled
>> Processor Id => 41069265: v5TEJ, ARM926, rev 5
>> Initializing timer...
>> Registering processor 0 in KIP (50000MHz, 200000MHz)
>> TLB lock: vectors @ ffff0000
>> TLB lock: kip @ ff000000
>> TLB lock: kernel @ f0000000
>> Locked kernel into TLB
>> Now startup scheduler...
>> domain pairs: (0, 1)
>> Initialising scheduler...
>> Switching to idle thread
>> system has 71 interrupts
>> Initializing root servers
>> creating root server (0019c001)
>>  
>>  *****************************************
>>  *  Iguana system, Copyright 1996-2006   *
>>  *  ERTOS - National ICT Australia       *
>>  *****************************************
>>  
>>  
>>  
>> And it stop to running.
>>  
>> My question is that what will be happen to next if it properly works?
>> Or What I have to do next?
>>  
>> My big concern is that ig_timer server and ig_serial server is not
>> work properly cause I could not test
>> these with my board.
> 
> Hi Seung-Ho Lim,
> 
> I would suggest running the tests.
> Start with
> project=l4test
> then
> project=iguana test_libs=all
> in your compile lines. If the tests are passing you know it's all good. 
> 
> All the best.
> 
> -- 
> Kind regards,
> Hal Ashburner


When I test with test_libs, I think it operates well.

Is there any iguana command or shell something like linux console terminal?
I think init server does the role, Is it right?
But the init server is not included in the okl4-1.4.1 package,
so my image doesn't have init routine.
If it is, how would I insert that in the package?

Sorry, I am currently not used to developing L4-iguana.

Best Regards
Seung-Ho Lim


More information about the Developer mailing list