https://rodrigocmichelassi.github.io/posts/kernel-character-device-drivers/