kernel plug-ins