operating system An approach to operating system design

emphasising small modules that implement the basic features

of the system kernel and can be flexibly configured.