kernel.h revision aa727107
1