A kernel module is an object file that can be dynamically loaded to extend a running kernel. Modules are widely used for the development and distribution of device drivers and file systems.
This talk presents MkMod, a domain specific language for developing Linux kernel modules. It enables a separation of concerns between the interface of a module and its functionality. Potential users of the language can automate the former to a large extent and focus on the latter. MkMod also aims to minimize security issues by providing default policies for locking access to shared state, preventing resource leaks and checking for appropriate permissions in system calls like ioctl.