diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2020-12-25 22:29:22 -0500 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2020-12-25 22:29:22 -0500 |
| commit | 8139cc95fa7c14d8b87fd546ebaef7826ecc4d1b (patch) | |
| tree | c2132cdd1dc9566e5377eeb4bbc67112e4e48f33 | |
| parent | 5e158467fe028373b86e01de17b7e9d942c40994 (diff) | |
add section for utility repositories
| -rw-r--r-- | static/source.html | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/static/source.html b/static/source.html index 4320d4be..8bfb38b9 100644 --- a/static/source.html +++ b/static/source.html @@ -52,8 +52,6 @@ for an comparable overview of where issues should be filed.</p> <ul> <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li> - <li><a href="https://github.com/GrapheneOS/tls_pinning">Utilities for setting up conservative non-leaf TLS pinning with backup pins</a></li> - <li><a href="https://github.com/GrapheneOS/branding_tools">Scripting for generating branding</a></li> <li><a href="https://github.com/GrapheneOS/hardened_malloc">hardened_malloc</a></li> </ul> <p>The operating system source tree includes hundreds of repositories. Many of these @@ -101,6 +99,15 @@ <li><a href="https://github.com/GrapheneOS/time.grapheneos.org">HTTPS time server (time.grapheneos.org)</a></li> </ul> </section> + + <section id="utilities"> + <h2><a href="#utilities">Utilities</a></h2> + + <ul> + <li><a href="https://github.com/GrapheneOS/tls_pinning">Utilities for setting up conservative non-leaf TLS pinning with backup pins</a></li> + <li><a href="https://github.com/GrapheneOS/branding_tools">Scripting for generating branding</a></li> + </ul> + </section> </main> <footer> <a href="/"><img src="/logo.png" width="512" height="512" alt=""/>GrapheneOS</a> |