Почему существуют различия в информации о версии Debian?

Question

На той же машине, если я запускаю cat /etc/os-release , я получаю:

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/"

Но тогда, если я запускаю: `cat /proc /version, я получаю:

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

Пожалуйста, предположите, что я не знаю (!) - кто-то может объяснить различия в версии?

Answer 1

Если быть точным:

Этот показывает информацию об инструментах Kernel и GNU Compiler Collection , используемых для сборки ядра.

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

Этот показывает полную информацию о выпуске Debian.

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"