kernel.h revision cf4ca487
1