[okl4-developer] A problem when i port okl4 to androind emulator

[Guanghui, Cheng]

Hello:
	In these days i try to port okl4_3.0 to android emulator with goldfish SoC. 
Now android emualtor could load okl4 image but when i boot it will be 
trapped. I post the booting log and i hope somebody could help me to point 
what is wrong for my porting:
	The booting log is as following:

OKL4 - (provider: Open Kernel Labs) built on Mar 13 2009 20:12:08 using gcc 
version 3.4.4.
Initialized tracebuffer @ 00140000
Initializing kernel space @ f00252d8...
Initializing kernel debugger...
Initializing interrupts...
System running with alignment exceptions enabled
Processor Id => 41069265: v5TEJ, ARM926, rev 5
TLB lock: vectors @ ffff0000
TLB lock: utcb @ ff000000
TLB lock: kernel @ f0000000
Locked kernel into TLB
domain pairs: (0, 1)
Initialising scheduler...
Switching to idle thread
CREATE_CLIST: id=0, max_caps=1024
CREATE_SPACE: id=0, space{0:5}, clist{0:1}, mutex{0:0), max_phys_segs=6, 
utcb_area{0x80111000:2^0xc}, max_prio=255 has_kresources 1
CREATE_SEGMENT_LIST: entries=6
CREATE_THREAD: cap_slot=0, priroity=255, ip=0x80100000, sp=0x80111000, 
utcb_addr=0x80111000
SETUP_SEGMENT: P:0x1000000..0x6000000, rwx:7, attrib:ff
SETUP_SEGMENT: P:0x34000..0x3b000, rwx:5, attrib:ff
MAP_MEMORY: V:0x80100000 O:0x0 (P=34000) S:0x7000 N:0x1 A=0x3 R=0x5
SETUP_SEGMENT: P:0x29000..0x2a000, rwx:6, attrib:ff
MAP_MEMORY: V:0x8010e000 O:0x0 (P=29000) S:0x1000 N:0x2 A=0x3 R=0x6
SETUP_SEGMENT: P:0x3c000..0x3d000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80110000 O:0x0 (P=3c000) S:0x1000 N:0x3 A=0x3 R=0x6
SETUP_SEGMENT: P:0xa00000..0xb00000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80200000 O:0x0 (P=a00000) S:0x100000 N:0x4 A=0x3 R=0x6
SETUP_SEGMENT: P:0x3b000..0x3c000, rwx:6, attrib:ff
MAP_MEMORY: V:0x8010f000 O:0x0 (P=3b000) S:0x1000 N:0x5 A=0x3 R=0x6
CREATE_HEAP: phys=500000, size=400000
kmem_init (f0500400, f0900000) [3M]
CREATE_CLIST: id=1, max_caps=1024
CREATE_SPACE: id=5, space{5:240}, clist{1:256}, mutex{0:256), max_phys_segs=7, 
utcb_area{0x80070000:2^0x10}, max_prio=255 has_kresources 1
CREATE_SEGMENT_LIST: entries=7
ALLOW_PLATFORM_CONTROL
CREATE_THREAD: cap_slot=0, priroity=255, ip=0x80000000, sp=0x8006e000, 
utcb_addr=0x80070000
SETUP_SEGMENT: P:0x904000..0xa00000, rwx:7, attrib:ff
SETUP_SEGMENT: P:0x40000..0x81000, rwx:5, attrib:ff
MAP_MEMORY: V:0x80000000 O:0x0 (P=40000) S:0x41000 N:0x1 A=0x3 R=0x5
SETUP_SEGMENT: P:0x88000..0xac000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80048000 O:0x0 (P=88000) S:0x24000 N:0x2 A=0x3 R=0x6
SETUP_SEGMENT: P:0xad000..0xae000, rwx:6, attrib:ff
MAP_MEMORY: V:0x8006d000 O:0x0 (P=ad000) S:0x1000 N:0x3 A=0x3 R=0x6
SETUP_SEGMENT: P:0xc00000..0x1000000, rwx:7, attrib:ff
SETUP_SEGMENT: P:0xb00000..0xc00000, rwx:6, attrib:ff
MAP_MEMORY: V:0x80300000 O:0x0 (P=b00000) S:0x100000 N:0x5 A=0x3 R=0x6
SETUP_SEGMENT: P:0xac000..0xad000, rwx:6, attrib:ff
MAP_MEMORY: V:0x8006c000 O:0x0 (P=ac000) S:0x1000 N:0x6 A=0x3 R=0x6
CREATE IPC CAP: clist_ref=118, cap_slot=1, thread_ref=48
--- KD# User: L4_Rootserver abort()ed ---

	I trace the code and finally make sure the kernel trapped in the 
function "sys_arm_misc".
	I don't know why it happens and hope to get some suggestions.
	Thanks a lot.
								Cheng Guanghui