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
OS design
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