kernel.h revision cf14f27f
1