diff options
Diffstat (limited to 'static/source.html')
| -rw-r--r-- | static/source.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/static/source.html b/static/source.html index 2d001d36..4320d4be 100644 --- a/static/source.html +++ b/static/source.html @@ -54,6 +54,7 @@ <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 are only used for debugging, testing or development and are not actually part of what @@ -76,6 +77,17 @@ 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="standalone-apps"> + <h2><a href="#standalone-apps">Standalone apps</a></h2> + + <ul> + <li><a href="https://github.com/GrapheneOS/Auditor">Auditor</a></li> + <li><a href="https://github.com/GrapheneOS/PdfViewer">PDF Viewer</a></li> + <li><a href="https://github.com/GrapheneOS/platform_packages_apps_Updater">Update client</a></li> + <li><a href="https://github.com/GrapheneOS/Vanadium">Vanadium (Chromium variant)</a></li> + </ul> + </section> + <section id="services"> <h2><a href="#services">Services</a></h2> |