3_What is the Linux kernel?