kernel.h revision a8b76910
1