Hi,<div><br></div><div><div>I start up 4 L4Linux on intel core2quad platform. In jdb, I can see 4 vmlinuz on the task list (command &#39;s&#39; in jdb).</div></div><div>Next, I run 4 benchmarks, one in each L4Linux, but the experiment result shows that</div>

<div>the 4 benchmark are running on the same core. The kernel seems not scheduling them</div><div>to different cpu cores.</div><div><div><br></div><div>I have enabled &quot;Enable multi processor support&quot; option in fiasco config menu and the </div>

<div>jdb shows there are 4 cores:</div><div><br></div><div>*** Cut start ***</div><div><div>    -----------------------------------------------------------------------      </div><div>    CPU 0 [f000d2a0]: IRQ ENTRY</div>

<div>    CPU 1 [f0022451]: Maskable Interrupt</div><div>    CPU 2 [f0022451]: Maskable Interrupt</div><div>    CPU 3 [f0022451]: Maskable Interrupt</div><div>jdb: g</div></div><div>*** Cut end ***</div><div><br></div><div>

But the running benchmarks are not showing on the task list(command &#39;s&#39; in jdb), is it normal?</div><div>I remember in ARM L4Linux, the task list will show &#39;vmlinuz&#39;, &#39;sh&#39;, &#39;benchmark&#39;, ...,etc.</div>

<div><br></div><div>Best Regards,</div><div><div>Chao-Jui</div></div>
</div>