Tag Archives: microkernel

why microkernels don’t work

Posted on October 23, 2010 by admin

You can almost just see it from this diagram of connected boxes.  I want to think of the whole system as a series of connected state machines.  The arrows show how information is moved around the system with the green … Continue reading →

Posted in microkernel, operating systems, software engineering | Tagged , | Leave a comment

OS design

Posted on July 6, 2009 by admin

Working on a “process algebra” post, I had to look up previous posts on microkernels where I wrote this: Information hiding is only good design when the hidden information is not needed by the software it is hidden from! If … Continue reading →

Posted in microkernel, software engineering | Tagged , , | Leave a comment