kernel.h revision b845b517
1