kernel.h revision bff9d186
1