kernel.h revision ca31e146
1