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 -