[okl4-developer] L4-iguana running server
Seung-Ho Lim
shlim at core.kaist.ac.kr
Wed Jul 25 16:40:07 EST 2007
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
Bytes transferred = 470108 (72c5c hex)
Loading kernel.text @ 0x30000000 (57600 bytes)
Loading kernel.rodata @ 0x3000e100 (15921 bytes)
Loading kernel.kdebug @ 0x30011f31 (19503 bytes)
Loading kernel.init @ 0x30016b60 (9204 bytes)
Loading kernel.data @ 0x30019000 (7504 bytes)
Loading kernel.kdebug-data @ 0x3001ad50 (880 bytes)
Clearing kernel.bss @ 0x3001b0c0 (9516 bytes)
Loading kernel.kspace @ 0x30020000 (16384 bytes)
Loading kernel.kip @ 0x30024000 (2660 bytes)
Loading kernel.traps @ 0x30025000 (4096 bytes)
Loading iguana_server.text @ 0x30026000 (51000 bytes)
Loading iguana_server.rodata @ 0x30032738 (5451 bytes)
Loading iguana_server.data @ 0x30035c84 (516 bytes)
Loading iguana_server.got @ 0x30035e88 (16 bytes)
Clearing iguana_server.bss @ 0x30036000 (73728 bytes)
Loading bootinfo @ 0x30063000 (8192 bytes)
Loading ig_naming.text @ 0x30048000 (27860 bytes)
Loading ig_naming.rodata @ 0x3004ecd4 (2292 bytes)
Loading ig_naming.data @ 0x3001e5c8 (216 bytes)
Loading ig_naming.got @ 0x3001e6a0 (16 bytes)
Clearing ig_naming.bss @ 0x3001e6b0 (228 bytes)
Loading ig_timer.text @ 0x30050000 (30152 bytes)
Loading ig_timer.rodata @ 0x300575c8 (3288 bytes)
Loading ig_timer.data @ 0x300342a0 (256 bytes)
Loading ig_timer.got @ 0x300343a0 (16 bytes)
Clearing ig_timer.bss @ 0x300343b0 (264 bytes)
Loading ig_serial.text @ 0x30059000 (30792 bytes)
Loading ig_serial.rodata @ 0x30060848 (2913 bytes)
Loading ig_serial.data @ 0x300623ac (260 bytes)
Loading ig_serial.got @ 0x300624b0 (16 bytes)
Clearing ig_serial.bss @ 0x300624c0 (256 bytes)
## 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.
Thanks
Seung-Ho Lim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20070725/5e367491/attachment.htm
More information about the Developer
mailing list