tools that work with kernel extensions