POSIX comments in kernel.c