add section for utility repositories

This commit is contained in:
Daniel Micay 2020-12-25 22:29:22 -05:00
parent 5e158467fe
commit 8139cc95fa

View File

@ -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>