>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? Is downloading and attempting to load the Fiasco
>kernel a worthwhile experiment? For those who want to give it a try you
>can find it at:
> http://os.inf.tu-dresden.de/fiasco/
>
>Is there something about the Fiasco kernel that makes it a better/easier
>goal as plex86's first real kernel than the Linux kernel? I'm assuming
>the Linux kernel would be built with a minimum number of modules
>statically linked in.
Hui, fiasco is only my personal test kernel for now. Ramon removed the
-g option for giving "to-load-guest-kernel" by command line I used before,
so I had to insert this into plex86.conf. But there (in plex86.conf) are enough
alternatives for you...
I prefer Fiasco because it's much smaller than Linux. Fiasco is an implementation
of L4, which tryes to be as minimum as possible. This means, there is no smaller
set of operating system mechanisms in a working open source kernel.
jens
