https://rodrigocmichelassi.github.io/posts/building-and-booting-a-linux-kernel-for-arm/