Comment Reason (Score 1) 742
Reason for me at least is that Linux isn't interesting as a kernel when there's formally proven kernels like the se:l4 microkernel or a vm based / language verified (read: everything runs in ring0) such as Microsofts Midori. I don't want to dedicate my time to something that is good enough when theres something much better being created right now.