Por que existem diferenças nas informações sobre a versão do Debian?

Question

Na mesma máquina, se eu executar cat /etc/os-release , obtenho:

cat /etc/os-release 
PRETTY_NAME="Debian GNU/Linux 8 (jessie)"
NAME="Debian GNU/Linux"
VERSION_ID="8"
VERSION="8 (jessie)"
ID=debian
HOME_URL="http://www.debian.org/"
SUPPORT_URL="http://www.debian.org/support/"
BUG_REPORT_URL="https://bugs.debian.org/"

Mas, se eu executar: 'cat / proc / version, recebo:

cat /proc/version 
Linux version 3.16.7-tinycore64 (root@064f0e1ce709) (gcc version 4.7.2 (Debian 4.7.2-5) ) #1 SMP Thu Nov 20 00:06:13 UTC 2014

Por favor, assuma que eu não sei (!) - alguém pode explicar as diferenças de versão?

    

Answer 1

Para ser exato:

This one show information about the Kernel and GNU Compiler Collection tools used to build the Kernel.

cat /proc/version 
{kernel Version} ({user who compiled}) ({GNU Compiler Collection Version} ({gcc dpkg version}) ) #1 {kernel type} {kernel build date}

This one shows complete information about Debian Release.

cat /etc/os-release 
PRETTY_NAME="Full_Name (Codename)"
NAME="Distribution_Name"
VERSION_ID="Version_Identifier"
VERSION="Version_Number (Codename)"
ID="Short_Name"
HOME_URL="WebSite"
SUPPORT_URL="Support_Site"
BUG_REPORT_URL="Bug_Report_Site"