Quotes of the week

Quotes of the week

Posted Aug 16, 2007 6:37 UTC (Thu) by rafdz (guest, #41427)
Parent article: Quotes of the week

Hello.
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.

---

(Log in to post comments)