I think I'm missing something really obvious, but what's the difference between Fiasco and L4Linux... It appears they're made by the same group.
I use QNX RTOS at work, and I'm interested in using the microkernel instead of the full-on monolothic kernel at home with my Fedora installation. What goes in first: Fiasco, or L4Linux?
Dustin Oprea