diff options
Diffstat (limited to 'static')
| -rw-r--r-- | static/source.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/static/source.html b/static/source.html index e01b80a5..41058ae5 100644 --- a/static/source.html +++ b/static/source.html @@ -67,8 +67,13 @@ <section id="grapheneos"> <h2><a href="#grapheneos">GrapheneOS</a></h2> + <p>Subset of the OS repositories created or modified by GrapheneOS:</p> + <ul> <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li> + <li><a href="https://github.com/GrapheneOS/platform_bionic">platform_bionic</a></li> + <li><a href="https://github.com/GrapheneOS/platform_system_core">platform_system_core</a></li> + <li><a href="https://github.com/GrapheneOS/platform_frameworks_base">platform_frameworks_base</a></li> <li><a href="https://github.com/GrapheneOS/hardened_malloc">hardened_malloc</a></li> </ul> |
