kernel.h revision e9092d0d
1