Dear gentleman,
I am sorry for disturb.
First of all, what's happen with Fiasco microkernel? Latest CVS version does not compiles, but two week old version is work Ok. Guess it is because Fiasco migrating to the X.2 version API specification. Is it so?
Next question is, why L4Linux does not start? After running L4Linux, the microkernel complain with double page fault at page 0.
Best regards Alexei