kernel.h revision cecbca96
1