kernel.h revision bc4f2f54
1