Linux Insides – a little bit about a Linux kernel