[okl4-developer] L4-iguana running server

[Hal Ashburner]

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