diff --git a/static/source.html b/static/source.html
index 3e4b58da..7f98dd11 100644
--- a/static/source.html
+++ b/static/source.html
@@ -162,23 +162,24 @@
GrapheneOS forks of AOSP kernel repositories:
- - kernel_manifest-coral
- - kernel_build-coral
- - kernel_google_coral
- - kernel_google_coral_teckpack_audio
+ - kernel_manifest-coral: Kernel manifest for the Pixel 4, Pixel 4 XL and Pixel 4a.
+ - kernel_build-coral: Kernel build system for the Pixel 4, Pixel 4 XL and Pixel 4a.
+ - kernel_google_coral: Kernel sources for the Pixel 4, Pixel 4 XL and Pixel 4a.
+ - kernel_google_coral_teckpack_audio: Kernel audio drivers for the Pixel 4, Pixel 4 XL and Pixel 4a.
- - kernel_manifest-redbull
- - kernel_build-redbull
- - kernel_google_redbull
- - kernel_google_redbull_drivers_staging_qcacld-3.0
- - kernel_google_redbull_teckpack_audio
+ - kernel_manifest-redbull: Kernel manifest for the Pixel 4a (5G), Pixel 5 and Pixel 5a.
+ - kernel_build-redbull: Kernel build system for the Pixel 4a (5G), Pixel 5 and Pixel 5a.
+ - kernel_google_redbull: Kernel sources for the Pixel 4a (5G), Pixel 5 and Pixel 5a.
+ - kernel_google_redbull_drivers_staging_qcacld-3.0: Kernel Wi-Fi driver for the Pixel 4a (5G), Pixel 5 and Pixel 5a.
+ - kernel_google_redbull_teckpack_audio: Kernel audio drivers for the Pixel 4a (5G), Pixel 5 and Pixel 5a.
- - kernel_manifest-bluejay
- - kernel_manifest-raviole
- - kernel_build-gs
- - kernel_common_5.10
- - kernel_gs
- - kernel_google-modules_wlan_bcmdhd_bcm4389
+ - kernel_manifest-bluejay: Kernel manifest for the Pixel 6a.
+ - kernel_manifest-raviole: Kernel manifest for the Pixel 6 and 6 Pro.
+ - kernel_build-gs: Kernel build system for the Pixel 6, Pixel 6 Pro and Pixel 6a.
+ - kernel_common_5.10: Generic Linux 5.10 kernel sources.
+ - kernel_gs: Kernel sources for the Pixel 6, Pixel 6 Pro and Pixel 6a.
+ - kernel_google-modules_wlan_bcmdhd_bcm4389: Kernel Wi-Fi/Bluetooth driver for the Pixel 6, Pixel 6 Pro and Pixel 6a.
+ - kernel_common_5.15: Generic Linux 5.15 kernel sources.
Repositories added by GrapheneOS: