[Linux] Linux
Kernel
Boot (no initrd)
Build
Device-driver (examples)
Device-tree
You may also enjoy
[Linux] RPMsg Porting Guide
A comprehensive guide on porting RPMsg for IPC between Linux and RTOS.
[Linux] IRQ management
Interrupt management in the Linux kernel
[Linux] Utilizing Driver ID Information and DTS
Information mapping and utilization in U-BOOT to support multiple chipsets with a single driver.
[ASPICE] SMMU Software Functional Test Specification (SWE.4)
Functional test specification for the SMMUv3 driver, verifying module functions.