GENERIC kernel & sources

How can I determine which GENERIC kernel is installed and which sources should be in /usr/src?

I thought I had installed 8.0 stable. When installing, I only installed the minimal configuration. The /usr/src dirctory was empty. When an installation looked for sources, I csup'd the stable-supfile. But on checking the stable against the standard, I find that the stable src files are more current than the standard.
I am getting some indication that the kernel may be out of sync.
What am I missing here?
 
Back
Top