Do L4 Fiasco microkernel support multicore processor?

[Adam Lackorzynski]

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/