kernel.h revision fc62f2f1
1