kernel.h revision 7b380c5b
1