KEDR is an extensible system for dynamic (runtime) analysis and verification of Linux kernelmodules. KEDR tools operate on the modules chosen by the user and can perform function call monitoring, fault simulation and much more.
The Banana Kernel is an open-source pedagogical operating system intended to provide useful means for teaching basic OS concepts, with the possibility of interaction with external modules developed by the teacher or student.