> How can I tell which Linux kernel is running on my Debian machine? Thanks. type 'uname -a' Cheers, Peter