On Fri, 9 Jun 2000, Tonglu Yi wrote:
> linux is not micro kernel based OS, would it change to that in the
> future?
This is a FAQ:
For anyone who thinks it might be good idea to make Linux a micro-kernel,
I suggest Liedtke's L4Linux paper:
http://os.inf.tu-dresden.de/pubs/sosp97/
It's somewhat ironic - Liedtke intended the paper to be a defense of
microkernels, but it had the opposite effect for me. :)
-VAL
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Thu Jun 15 2000 - 21:00:19 EST