As far as I can tell, the minux approach of running less code in the kernel (with elevated privileges) seems like a better design decision. Will minux (or similar) ever take off? Or is there just too much effort already vested in linux to bother? Or am I just missing something?