kernel.h revision f80b1fa5
1