linux: Linux kernel - linux-gcp: Linux kernel for Google Cloud Platform systems - linux-laptop: Linux kernel for Lenovo X13s ARM laptops - linux-lowlatency: Linux low latency kernel - linux-oracle: Linux kernel for Oracle Cloud systems - linux-raspi: Linux kernel for Raspberry Pi systems - linux-starfive: Linux kernel for StarFive processors - linux-gcp-6.5: Linux kernel for Google Cloud Platform ...