Modular operating systems can be found in many different domains and contexts, such as Linux which is based on a monolithic kernel, but has features and components implemented as loadable kernel ...