i don’t really understand kernels. i heard the documentation on openBSD is great and i want to learn about kernels. will it teach me about kernels?