Hi all,

 Can any one tell me the advantages of genode 12.08 over fiasco microkernel. Specifically in terms of secure OS point of view which one is better.


Thanks in advance,
JO