Quotes of the week
Posted Aug 16, 2007 6:37 UTC (Thu) by rafdz
Parent article: Quotes of the week
In a Micro kernel homepage(I think it was coyotos microkernel website) i have read that micorkernels were naturally supporting virtualization. It is even stated that micro kernel can provide a much faster virtualizaion than traiditional kernels. Micro kernels efficiency has seen much improvement during last decade: L4 is more efficient than mach and coyotos is more efficient than L4.
There is also ongoing effort to formally validate those micro kernels. If and when this effort will be successful micro kernels may have a much larger success than today. Linux kernel code is so large that it is improssible to formally validate it.
to post comments)