kernel.h revision ce251e0e
1