kernel.h revision a79ff731
1