From fefd83fce620c1cc501a9c8c45a342334cab2d0b Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Mon, 18 Apr 2022 17:38:10 -0400 Subject: [PATCH] dedicated kernel source repository section --- static/source.html | 33 +++++++++++++++++++-------------- 1 file changed, 19 insertions(+), 14 deletions(-) diff --git a/static/source.html b/static/source.html index 7c00280f..3f465923 100644 --- a/static/source.html +++ b/static/source.html @@ -93,7 +93,7 @@ default.xml list in the manifest repository.

-

GrapheneOS forks of AOSP repositories:

+

GrapheneOS forks of AOSP source tree repositories:

-

Repositories added by GrapheneOS:

+

GrapheneOS forks of AOSP kernel repositories (not normally part of the main AOSP source tree):

+ +

Repositories added by GrapheneOS:

+ +