kernel.h revision e67bc51e
1