Introduction to getting started with Linux kernel development