microkernel operating systems follow ideas of liberalism. on the contrary, monolitic kernel, is like a leftist idea, where you have big government which has to deal with everything. it can be efficient, though, as dictatorships as well, butif it fails, you’re screwd. microkernel means less central power, not as efficient, but more reliable. #liberalism #operating_systems #os #microkernel #engineering #design
Operating systems verification http://ssrg.nicta.com.au/publications/papers/Klein_09.abstract
#operating_systems #os #programming #verification #paper
project oberon 2013 on hacker news https://news.ycombinator.com/item?id=8620053
#oberon #project-oberon #programming #os #operating-systems #hacker-news #book
“I Contribute to the Windows Kernel. We Are Slower Than Other Operating Systems. Here Is Why.” http://blog.zorinaq.com/?e=74
found somewhere in Diaspora* recently.
#windows #kernel #linux #gnu #community #commerce #capital #development #programming #os #operating-systems
#update #windows #mac #microsoft #apple #linux #gnu #updates #os
