kernel.h revision cc672163
1