kernel stuff for smartIDE