aboutsummaryrefslogtreecommitdiffstats
path: root/english/ports
diff options
context:
space:
mode:
authorGuillem Jover <guillem@debian.org>2023-10-07 06:01:21 +0200
committerGuillem Jover <guillem@debian.org>2023-10-07 06:10:02 +0200
commitacad0e189af43d486b586d3628b2f3afa4b55523 (patch)
treec1814f20367b6860ffc9ea2b12dc17893ca4e530 /english/ports
parent7f0a99a95070ae3261fa63867f7ed7f0d3bf0b1b (diff)
ports: Add context information about official and non-official ports
Mention their status, and what they are part of, and where to find them.
Diffstat (limited to 'english/ports')
-rw-r--r--english/ports/index.wml19
1 files changed, 18 insertions, 1 deletions
diff --git a/english/ports/index.wml b/english/ports/index.wml
index 434a86d705f..0b9ddc770a9 100644
--- a/english/ports/index.wml
+++ b/english/ports/index.wml
@@ -38,7 +38,11 @@
</div>
<toc-add-entry name="portlist-released">List of official ports</toc-add-entry>
-<br />
+
+<p>
+These ports are the officially supported architectures by the Debian project,
+and either part of an official release or to be part of an upcoming one.
+</p>
<table class="tabular" summary="">
<tbody>
@@ -137,6 +141,19 @@ a free/open ISA.</td>
<toc-add-entry name="portlist-other">List of other ports</toc-add-entry>
+<p>
+These ports are either work in progress efforts that intend to eventually
+be promoted into officially released architectures, ports that were once
+officially supported but stopped being released because failed the release
+qualification or had limited developer interest, or ports that are no
+longer worked on and are listed for historical interest.
+</p>
+
+<p>
+These ports, when they are still actively maintained, are available on
+the <url "https://www.ports.debian.org/"> infrastructure.
+</p>
+
<div class="tip">
<p>
There are non-official installation images available for some of the following ports in

© 2014-2024 Faster IT GmbH | imprint | privacy policy