Чому існують відмінності щодо інформації про версію Debian?

На тій же машині, якщо я запускаю 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

Будь ласка, припустіть, що я не знаю (!) - може хтось, будь ласка, пояснить відмінності у версії?

Щоб бути точним:

Це відображає інформацію про інструменти збирання ядра Kernel та GNU, які використовуються для створення ядра.

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

У цьому відображається повна інформація про 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"