It not in TODO so not in near future. In 10 years... Who knows... Perhaps not
anyway. Micro kernel has advantages and disadvantages and since there are
already exist micro kernel free kernel (HURD) feels better to not try to mess
with micro kernel in Linux.
-
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/