security/hakurei.app
security/hakurei.app
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 4 Wiki Activity

list services repositories on source page

Browse Source
This commit is contained in:
Daniel Micay 2020-12-25 21:49:50 -05:00
parent 644eead18b
commit 4c46445746
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
static/source.html
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/grapheneos.org">Website repository</a></li>
<li><a href="https://github.com/GrapheneOS/releases.grapheneos.org">Update server repository</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>
</ul>
@ -77,6 +75,20 @@
for the Auditor and AttestationServer sources. The latest release of the Auditor app
is included in the GrapheneOS source tree as a prebuilt since it uses a different
build system, similar to other prebuilts like Vanadium.</p>
<section id="services">
<h2><a href="#services">Services</a></h2>
<ul>
<li><a href="https://github.com/GrapheneOS/infrastructure">Server infrastructure</a></li>
<li><a href="https://github.com/GrapheneOS/AttestationServer">AttestationServer (attestation.app)</a></li>
<li><a href="https://github.com/GrapheneOS/grapheneos.org">grapheneos.org</a></li>
<li><a href="https://github.com/GrapheneOS/releases.grapheneos.org">Update server (releases.grapheneos.org)</a></li>
<li><a href="https://github.com/GrapheneOS/grapheneos.network">Connectivity check server (grapheneos.network)</a></li>
<li><a href="https://github.com/GrapheneOS/mail.grapheneos.org">Mail server (mail.grapheneos.org)</a></li>
<li><a href="https://github.com/GrapheneOS/time.grapheneos.org">HTTPS time server (time.grapheneos.org)</a></li>
</ul>
</section>
</main>
<footer>
<a href="/"><img src="/logo.png" width="512" height="512" alt=""/>GrapheneOS</a>