What's the point writing another kernel in C ???