Can't Fiasco.OC support multi-core-processor ?

Hello, L4 hackers :-)
Always, I'm obliged to you.

I have a question.
When I configured Fiasco.OC containing option which is 'unable multi 
processor support'
, I've succeeded booting (L4 linux + L4/Fiasco) on Freescale 
imx6q_sabre_sd(Cortex-a9).

And, I've configured Fiasco.OC as follows.. , again.
=========================
[*] Enable multi processor support
(4)   Maximal supported number of CPUs (NEW)
[*] Fine-grained CPU time
=========================

But I could not booting it successfully.

It's stop at '*CPU[3]: goes to idle loop*'

What's the problem ?








Log I met is such as....
=========================
Welcome to Fiasco.OC (arm)!
L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: r62 compiled with gcc 4.6.4 for i.MX6    []
Build: #1 Thu Apr  3 13:48:45 KST 2014

Per_cpu_data_alloc: (orig: 0xf0056af8-0xf0057488)
Allocate 2448 bytes (2KB) for CPU[4] local storage (offset=1193508, 
0xf11ea000-0xf11ea990)
Number of CPUs: 4
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf0056af8-0xf0057488)
done.
Allocate 2448 bytes (2KB) for CPU[1] local storage (offset=1195508, 
0xf11ec000-0xf11ec990)
MDB: use page size: 20
Cache config: ON

... (ellipsis)

MOE: Hello world
Per_cpu_data_alloc: (orig: 0xf0056af8-0xf0057488)
CPU[1]: goes to idle loop
Allocate 2448 bytes (2KB) for CPU[2] local storage (offset=1182508, 
0xf11d9000-0xf11d9990)

... (ellipsis)

   BOOTFS: [11210000Per_cpu_data_alloc: (orig: 0xf0056af8-0xf0057488)
-CPU[2]: goes to idle loop
1Allocate 2448 bytes (2KB) for CPU[3] local storage (offset=1158508, 
0xf11af000-0xf11af990)
1Cache config: ON
5ID_PFR[01]:  00001231 000000115 ID_[DA]FR0: 00010444 00000000
1ID_MMFR[04]: 00100103 20000000 01230000 00102111
494] [C:508000] vmlinuz.arm
   BOOTFS: [11552000-11852000] [C:509000] ramdisk-arm.rd
MOE: cmdline: moe rom/l4lx_xs.cfg
MOE: Starting: rom/ned rom/l4lx_xs.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
L4Re: unhandled exception: pc=0x10211d4
*CPU[3]: goes to idle loop*
=========================

- Taeung -

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers