Do L4 Fiasco microkernel support multicore processor?

Adam Lackorzynski adam at
Sun May 3 23:15:37 CEST 2009

On Fri Apr 24, 2009 at 09:00:04 +0800, Neohtm wrote:
> > On Wed Apr 22, 2009 at 11:40:31 +0800, Neohtm wrote:
> > > I would like to know whether the Fiasco microkernel is able to run on
> > > multicore processor such as Intel Core 2 Duo or Quad Core???
> > > I want to try to compile the Fiasco + DOpE + L4Linux to run on it.
> >
> > >It will run there (albeit only use one CPU in the current version).
> So, Fiasco is able to detect the multicore platform and use the first core
> (CPU0) ?
> In that case, is it possible to launch the L4Linux in another specific core
> of the processor by adding kernel command (-nosmp, -isolcpus ) in
> l4linux26.cfg?

In its current form Fiasco only supports uni-processor machines, i.e. it
will make only one CPU available and won't touch the possibly others.
Consequently applications, such as L4Linux, can only use one CPU.

Adam                 adam at

More information about the l4-hackers mailing list