[kernel] What is an OS kernel ? How does it differ from an operating system?