Doc: clarify supported platforms for Pgpool-II.

Backpatch-through: v4.2

1 files changed, 47 insertions, 2 deletions

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 4f9caa82e..313679729 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -113,12 +113,56 @@
  <sect1 id="install-requirements">
   <title>Requirements</title>
 
+  <sect2 id="platform-requirements">
+  <title>System requirements</title>
   <para>
-   In general, a modern Unix-compatible platform should be able to run
-   <productname>Pgpool-II</>. Windows is not supported.
+   <productname>Pgpool-II</productname> is supposed to run on most
+   UNIX compatible environments.  Windows is not supported.
+   Followings are the list of platforms the development community
+   have been verifying. Other platforms have not been verified.
+   <itemizedlist>
+    <listitem>
+     <para>
+      Rocky Linux 9 (x86_64)
+     </para>
+    </listitem>
+    <listitem>
+     <para>
+      Rocky Linux 8 (x86_64)
+     </para>
+    </listitem>
+   </itemizedlist>
+   Linux distributions compatible with them should
+   run <productname>Pgpool-II</productname>.
   </para>
 
   <para>
+   <ulink url="https://pgpool.net/mediawiki/index.php/Apt_Repository">packages</ulink>
+   for Debian/Ubuntu are provided.
+  </para>
+
+  <para>
+   We have some reports from users who successfully
+   run <productname>Pgpool-II</productname>.
+   <itemizedlist>
+    <listitem>
+     <para>
+      Ubuntu 20.04 (x86_64)
+     </para>
+    </listitem>
+    <listitem>
+     <para>
+      OpenBSD
+     </para>
+    </listitem>
+   </itemizedlist>
+   </para>
+ </sect2>
+
+ <sect2 id="software-requirements">
+  <title>Software requirements</title>
+
+  <para>
    The following software packages are required for building
    <productname>Pgpool-II</>:
 
@@ -218,6 +262,7 @@
    4 GB. Use the <command>df</command> command to check free disk
    space.
   </para>
+ </sect2>
  </sect1>
 
  <sect1 id="install-getsource">