From 391a5fb361dcbc8291649403b86dd9e509c612ab Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Fri, 14 Oct 2022 23:55:03 -0400
Subject: [PATCH] dedicated section for kernel prebuilt repositories

---
 static/source.html | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/static/source.html b/static/source.html
index c36fa45a..3224b1f9 100644
--- a/static/source.html
+++ b/static/source.html
@@ -162,6 +162,17 @@
                     <li><a href="https://github.com/GrapheneOS/platform_system_sepolicy">platform_system_sepolicy</a></li>
                 </ul>
 
+                <p>GrapheneOS forks of AOSP kernel repositories (built from the source repositories listed below):</p>
+
+                <ul>
+                    <li><a href="https://github.com/GrapheneOS/device_google_coral-kernel">device_google_coral-kernel</a>: Pixel 4 and Pixel 4 XL kernel prebuilts.</li>
+                    <li><a href="https://github.com/GrapheneOS/device_google_sunfish-kernel">device_google_sunfish-kernel</a>: Pixel 4a kernel prebuilts.</li>
+                    <li><a href="https://github.com/GrapheneOS/device_google_redbull-kernel">device_google_redbull-kernel</a>: Pixel 4a (5G), Pixel 5 and Pixel 5a kernel prebuilts.</li>
+                    <li><a href="https://github.com/GrapheneOS/device_google_raviole-kernel">device_google_raviole-kernel</a>: Pixel 6 and Pixel 6 Pro kernel prebuilts.</li>
+                    <li><a href="https://github.com/GrapheneOS/device_google_bluejay-kernel">device_google_bluejay-kernel</a>: Pixel 6a kernel prebuilts.</li>
+                    <li><a href="https://github.com/GrapheneOS/device_google_pantah-kernel">device_google_pantah-kernel</a>: Pixel 7 and Pixel 7 Pro kernel prebuilts.</li>
+                </ul>
+
                 <p>GrapheneOS forks of AOSP kernel repositories:</p>
 
                 <ul>
@@ -198,12 +209,6 @@
                     <li><a href="https://github.com/GrapheneOS/android-prepare-vendor">android-prepare-vendor</a></li>
                     <li><a href="https://github.com/GrapheneOS/branding">branding</a></li>
                     <li><a href="https://github.com/GrapheneOS/carriersettings-extractor">carriersettings-extractor</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_bluejay-kernel">device_google_bluejay-kernel</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_coral-kernel">device_google_coral-kernel</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_pantah-kernel">device_google_pantah-kernel</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_raviole-kernel">device_google_raviole-kernel</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_redbull-kernel">device_google_redbull-kernel</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_sunfish-kernel">device_google_sunfish-kernel</a></li>
                     <li><a href="https://github.com/GrapheneOS/hardened_malloc">hardened_malloc</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_external_Apps">platform_external_Apps</a>: Apps app prebuilt</li>
                     <li><a href="https://github.com/GrapheneOS/platform_external_Auditor">platform_external_Auditor</a>: Auditor app prebuilt</li>