Re: CVS updates

[Ulrich Weigand]

> The above patch changes plex86.conf to, by default, load the Fiasco
> kernel:
>     ...
>     plugin = ./plugins/bios/plugin-bios.so
> ../../l4/kernel/fiasco/src/main
>     ...
> was this intended?

No, this was an oversight ... Sorry :-/

Ramon has already fixed it by now.


Bye,
Ulrich

-- 
  Ulrich Weigand,
  IMMD 1, Universitaet Erlangen-Nuernberg,
  Martensstr. 3, D-91058 Erlangen, Phone: +49 9131 85-27688