From bf8a0cfc8d6badefbd4e8fa7b6b2e2aa61af9dea Mon Sep 17 00:00:00 2001 From: Ophestra Date: Sat, 28 Jun 2025 19:30:26 +0900 Subject: [PATCH] static: remove source page There are not that many repositories so an index is not helpful. --- generate-sitemap.py | 1 - static/index.html | 5 +- static/source.html | 315 ------------------------------------------ templates/header.html | 1 - 4 files changed, 3 insertions(+), 319 deletions(-) delete mode 100644 static/source.html diff --git a/generate-sitemap.py b/generate-sitemap.py index e35f5e64..9db0d3dd 100644 --- a/generate-sitemap.py +++ b/generate-sitemap.py @@ -18,7 +18,6 @@ pages = [ ["/install/", 0.5], ["/install/cli", 0.5], ["/install/web", 0.5], - ["/source", 0.5], ["/usage", 1.0] ] diff --git a/static/index.html b/static/index.html index 541ee676..fa150652 100644 --- a/static/index.html +++ b/static/index.html @@ -60,8 +60,9 @@

About

Hakurei is a security-focused Linux container runtime for running unmodified - desktop applications, developed as a non-profit open source - project. It also implements planterette, an + desktop applications, developed as a non-profit open source + project. It also implements planterette, an experimental self-contained Android-like package manager with modern security features.

diff --git a/static/source.html b/static/source.html deleted file mode 100644 index 3a77fb39..00000000 --- a/static/source.html +++ /dev/null @@ -1,315 +0,0 @@ - - - - - Source code | GrapheneOS - - - - - - - - - - - - - - - - - - - - - - [[css|/main.css]] - - - - - - {% with current_page="source" %} - {% include "header.html" %} - {% endwith %} -
-

Source code

- -

GrapheneOS is an open source project with - an open development process.

- -

The GrapheneOS sources are hosted in the - GrapheneOS organization on GitHub. Since - there are many repositories, this page aims to provide a guide for it. See the - reporting issues section on the contact page - for an comparable overview of where issues should be filed.

- - - -
-

GrapheneOS

- -

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 gets used for building a production release. The manifest repository - references all of these. Most of these are used unmodified from the Android Open - Source Project (AOSP). A few dozen of the repositories including most of the core - OS are either forked from AOSP or are unique to GrapheneOS.

- -

The operating system has a unified build system, but some components like - Chromium are too complex to fit into it so they're included as prebuilts instead - of porting them to the AOSP build system. This is also done for developer - convenience and bootstrapping, to avoid needing to build all the native / - cross-compilation toolchains for each host and target platform combination, etc. - The prebuilts can all be built from source if desired. The build instructions will - be expanded to cover all of this in the future.

- -

For a full list of the repositories in the OS source tree, look at the - default.xml - list in the manifest repository.

- -

GrapheneOS forks of AOSP source tree repositories:

- - - -

GrapheneOS forks of AOSP kernel prebuilt repositories with the builds replaced with the GrapheneOS kernels built from the source repositories listed in the next section:

- - - -

GrapheneOS forks of AOSP kernel repositories:

- - - -

Repositories added by GrapheneOS:

- - -
- -
-

Standalone apps

- -

These are standalone app projects developed by GrapheneOS and included in the - OS. This does not include the many apps included by AOSP without modifications by - GrapheneOS or with only minor modifications.

- - -
- -
-

Services

- - -
- -
-

Utilities

- -
    -
  • tls-pinning: Utilities for setting up conservative non-leaf TLS pinning with backup pins
    • -
  • branding-tools: Scripting for generating branding
    • -
-
- -
-

Archive

- -

An archive of legacy repositories is available via the - GrapheneOS Archive - organization. This only covers repositories archives after renaming the project to - GrapheneOS. Earlier code is mostly not available via GitHub anymore due to - the unfortunate events leading to the rename of - the project.

-
-
- {% include "footer.html" %} - - diff --git a/templates/header.html b/templates/header.html index 46f130ba..13894d0a 100644 --- a/templates/header.html +++ b/templates/header.html @@ -7,7 +7,6 @@
  • Build
  • Usage
  • FAQ
    • -
  • Source
  • Contact