https://loke.sh/notes/linux-kernel/getting-started/