The above command not only shows which kernel is being used, it also lists any other kernels that are also installed, as shown in the following example Terminal output: