I am in bash. What do I type to determine the current revision of the kernel? Or if you can't do it there, how? Ron