What is kernel in linux