The Linux Kernel Driver Interface¶| www.kernel.org
Generic Distro Configuration Concept| docs.u-boot.org
What's in a Steam Deck kernel anyway?| samuel.dionne-riel.com
