kernel.h revision c7acec71
1