A Decision Procedure Approach to Linux Modules Dependency

Technical Report from the year 2015 in the subject Computer Science - Software, grade: 12, , course: Operating systems, language: English, abstract: This report focuses on the dependency resolution mechanism between modules for the Linux kernel. The reasoning concerns how to express dependency relation in propositional logic, based on different Linux kernel modules. It is around this topic that fu...