Linux kernel source tree
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
Mellanox switch drivers kernel - this is developer queue for upstream kernel, no out-of-tree code!
Kernel tree for Redmi Note 7 Pro(violet)
Linux kernel source tree with the latest features and modifications to unleash the full potential of Ingenic processors.
out-of-tree kernel {module, exploit} development tool
Development tree of Intel VT-d implementation in Linux kernel