He should be able to 'man top' and if it's a recent distribution of linux, he even might have htop which is a lot more streamlined, both of which you run at the command line as already mentioned.