kernel compiles using these