[icebraining]

Never said they were the same thing. My original post was "is part of the OS".

OS space

Again, that's kernel space. OS is something bigger. Debian is an OS. GNU/Linux is an OS. Linux by itself isn't.