kernel.h revision ed067d4a
1