From: FUKAUMI Naoki <naoki@radxa.com>
To: heiko@sntech.de
Cc: robh@kernel.org, krzk+dt@kernel.org, conor+dt@kernel.org,
dsimic@manjaro.org, devicetree@vger.kernel.org,
linux-rockchip@lists.infradead.org,
FUKAUMI Naoki <naoki@radxa.com>
Subject: [PATCH v6 6/7] arm64: dts: rockchip: Trivial changes for Radxa ROCK 5C
Date: Mon, 23 Dec 2024 01:39:25 +0000 [thread overview]
Message-ID: <20241223013926.1134-7-naoki@radxa.com> (raw)
In-Reply-To: <20241223013926.1134-1-naoki@radxa.com>
No functional change.
Signed-off-by: FUKAUMI Naoki <naoki@radxa.com>
---
Changes in v6:
- New
---
.../boot/dts/rockchip/rk3588s-rock-5c.dts | 79 +++++++++----------
1 file changed, 38 insertions(+), 41 deletions(-)
diff --git a/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts b/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
index 9ce69ffad125..419730f06f8f 100644
--- a/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
+++ b/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
@@ -25,7 +25,7 @@ chosen {
stdout-path = "serial2:1500000n8";
};
- analog-sound {
+ sound {
compatible = "audio-graph-card";
label = "rk3588-es8316";
dais = <&i2s0_8ch_p0>;
@@ -50,7 +50,7 @@ hdmi0_con_in: endpoint {
leds {
compatible = "gpio-leds";
pinctrl-names = "default";
- pinctrl-0 = <&led_pins>;
+ pinctrl-0 = <&led_0 &led_1>;
led-0 {
color = <LED_COLOR_ID_GREEN>;
@@ -76,28 +76,19 @@ fan {
pwms = <&pwm3 0 60000 0>;
};
- pcie2x1l2_3v3: regulator-pcie2x1l2-3v3 {
+ vcc3v3_pcie2x1l2: regulator-3v3-0 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PC5 GPIO_ACTIVE_HIGH>;
pinctrl-names = "default";
pinctrl-0 = <&pow_en>;
- regulator-name = "pcie2x1l2_3v3";
+ regulator-name = "vcc3v3_pcie2x1l2";
regulator-min-microvolt = <3300000>;
regulator-max-microvolt = <3300000>;
vin-supply = <&vcc_sysin>;
};
- vcc5v_dcin: regulator-vcc5v-dcin {
- compatible = "regulator-fixed";
- regulator-name = "vcc5v_dcin";
- regulator-always-on;
- regulator-boot-on;
- regulator-min-microvolt = <5000000>;
- regulator-max-microvolt = <5000000>;
- };
-
- vcc5v0_usb_host: regulator-vcc5v0-usb-host {
+ vcc5v0_usb_host: regulator-5v0-0 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio4 RK_PB5 GPIO_ACTIVE_HIGH>;
@@ -109,7 +100,7 @@ vcc5v0_usb_host: regulator-vcc5v0-usb-host {
vin-supply = <&vcc_sysin>;
};
- vcc5v0_usb_otg0: regulator-vcc5v0-usb-otg0 {
+ vcc5v0_usb_otg0: regulator-5v0-1 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PD4 GPIO_ACTIVE_HIGH>;
@@ -121,7 +112,7 @@ vcc5v0_usb_otg0: regulator-vcc5v0-usb-otg0 {
vin-supply = <&vcc_sysin>;
};
- vcc_1v1_nldo_s3: regulator-vcc-1v1-nldo-s3 {
+ vcc_1v1_nldo_s3: regulator-1v1 {
compatible = "regulator-fixed";
regulator-name = "vcc_1v1_nldo_s3";
regulator-always-on;
@@ -131,7 +122,7 @@ vcc_1v1_nldo_s3: regulator-vcc-1v1-nldo-s3 {
vin-supply = <&vcc_sysin>;
};
- vcc_3v3_pmu: regulator-vcc-3v3-pmu {
+ vcc_3v3_pmu: regulator-3v3-1 {
compatible = "regulator-fixed";
regulator-name = "vcc_3v3_pmu";
regulator-always-on;
@@ -141,17 +132,17 @@ vcc_3v3_pmu: regulator-vcc-3v3-pmu {
vin-supply = <&vcc_3v3_s3>;
};
- vcc_3v3_s0: regulator-vcc-3v3-s0 {
+ vcc_3v3_s0: regulator-3v3-2 {
compatible = "regulator-fixed";
regulator-name = "vcc_3v3_s0";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <3300000>;
regulator-max-microvolt = <3300000>;
- vin-supply = <&vcc_1v8_s0>;
+ vin-supply = <&vcc_3v3_s3>;
};
- vcc_5v0: regulator-vcc-5v0 {
+ vcc_5v0: regulator-5v0-2 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio4 RK_PA3 GPIO_ACTIVE_HIGH>;
@@ -163,17 +154,16 @@ vcc_5v0: regulator-vcc-5v0 {
vin-supply = <&vcc_sysin>;
};
- vcc_sysin: regulator-vcc-sysin {
+ vcc_sysin: regulator-5v0-3 {
compatible = "regulator-fixed";
regulator-name = "vcc_sysin";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <5000000>;
regulator-max-microvolt = <5000000>;
- vin-supply = <&vcc5v_dcin>;
};
- vcca: regulator-vcca {
+ vcca: regulator-4v0 {
compatible = "regulator-fixed";
regulator-name = "vcca";
regulator-always-on;
@@ -183,7 +173,7 @@ vcca: regulator-vcca {
vin-supply = <&vcc_sysin>;
};
- vdd_3v3: regulator-vdd-3v3 {
+ vdd_3v3: regulator-3v3-3 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PA0 GPIO_ACTIVE_HIGH>;
@@ -404,48 +394,53 @@ &pcie2x1l2 {
pinctrl-names = "default";
pinctrl-0 = <&pcie20x1_2_perstn_m0>;
reset-gpios = <&gpio3 RK_PD1 GPIO_ACTIVE_HIGH>;
- vpcie3v3-supply = <&pcie2x1l2_3v3>;
+ vpcie3v3-supply = <&vcc3v3_pcie2x1l2>;
status = "okay";
};
&pinctrl {
leds {
- led_pins: led-pins {
- rockchip,pins = <3 RK_PC4 RK_FUNC_GPIO &pcfg_pull_none>,
- <3 RK_PD5 RK_FUNC_GPIO &pcfg_pull_none>;
+ led_0: led-0 {
+ rockchip,pins = <3 RK_PC4 RK_FUNC_GPIO &pcfg_pull_none>;
+ };
+
+ led_1: led-1 {
+ rockchip,pins = <3 RK_PD5 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
- mdio {
- gmac1_rstn: gmac1-rstn {
+ ethernet-phy {
+ gmac1_rstn: ethernet-phy-0 {
rockchip,pins = <3 RK_PB7 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
pcie {
- pcie20x1_2_perstn_m0: pcie20x1-2-perstn-m0 {
+ pcie20x1_2_perstn_m0: pcie-0 {
rockchip,pins = <3 RK_PD1 RK_FUNC_GPIO &pcfg_pull_none>;
};
- pow_en: pow-en {
+ pow_en: regulator-3v3-0 {
rockchip,pins = <0 RK_PC5 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
usb {
- usb_host_pwren_h: usb-host-pwren-h {
+ usb_host_pwren_h: regulator-5v0-0 {
rockchip,pins = <4 RK_PB5 RK_FUNC_GPIO &pcfg_pull_none>;
};
- usb_otg_pwren_h: usb-otg-pwren-h {
+ usb_otg_pwren_h: regulator-5v0-1 {
rockchip,pins = <0 RK_PD4 RK_FUNC_GPIO &pcfg_pull_none>;
};
- usb_wifi_pwr: usb-wifi-pwr {
+ usb_wifi_pwr: regulator-3v3-3 {
rockchip,pins = <0 RK_PA0 RK_FUNC_GPIO &pcfg_pull_none>;
};
+ };
- vcc_5v0_pwren_h: vcc-5v0-pwren-h {
+ regulators {
+ vcc_5v0_pwren_h: regulator-5v0-2 {
rockchip,pins = <4 RK_PA3 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
@@ -464,11 +459,14 @@ &saradc {
&sdhci {
bus-width = <8>;
+ cap-mmc-highspeed;
mmc-hs400-1_8v;
mmc-hs400-enhanced-strobe;
- no-sdio;
no-sd;
+ no-sdio;
non-removable;
+ vmmc-supply = <&vcc_3v3_s0>;
+ vqmmc-supply = <&vcc_1v8_s3>;
status = "okay";
};
@@ -479,7 +477,6 @@ &sdmmc {
cd-gpios = <&gpio0 RK_PA4 GPIO_ACTIVE_LOW>;
disable-wp;
no-sdio;
- no-mmc;
sd-uhs-sdr104;
vmmc-supply = <&vcc_3v3_s3>;
vqmmc-supply = <&vccio_sd_s0>;
@@ -630,7 +627,7 @@ regulator-state-mem {
};
vcc_2v0_pldo_s3: dcdc-reg7 {
- regulator-name = "vdd_2v0_pldo_s3";
+ regulator-name = "vcc_2v0_pldo_s3";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <2000000>;
@@ -665,8 +662,8 @@ regulator-state-mem {
};
};
- vcc1v8_pmu_ddr_s3: dcdc-reg10 {
- regulator-name = "vcc1v8_pmu_ddr_s3";
+ vcc_1v8_s3: dcdc-reg10 {
+ regulator-name = "vcc_1v8_s3";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <1800000>;
--
2.43.0
_______________________________________________
Linux-rockchip mailing list
Linux-rockchip@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-rockchip
WARNING: multiple messages have this Message-ID (diff)
From: FUKAUMI Naoki <naoki@radxa.com>
To: heiko@sntech.de
Cc: robh@kernel.org, krzk+dt@kernel.org, conor+dt@kernel.org,
dsimic@manjaro.org, devicetree@vger.kernel.org,
linux-rockchip@lists.infradead.org,
FUKAUMI Naoki <naoki@radxa.com>
Subject: [PATCH v6 6/7] arm64: dts: rockchip: Trivial changes for Radxa ROCK 5C
Date: Mon, 23 Dec 2024 01:39:25 +0000 [thread overview]
Message-ID: <20241223013926.1134-7-naoki@radxa.com> (raw)
In-Reply-To: <20241223013926.1134-1-naoki@radxa.com>
No functional change.
Signed-off-by: FUKAUMI Naoki <naoki@radxa.com>
---
Changes in v6:
- New
---
.../boot/dts/rockchip/rk3588s-rock-5c.dts | 79 +++++++++----------
1 file changed, 38 insertions(+), 41 deletions(-)
diff --git a/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts b/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
index 9ce69ffad125..419730f06f8f 100644
--- a/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
+++ b/arch/arm64/boot/dts/rockchip/rk3588s-rock-5c.dts
@@ -25,7 +25,7 @@ chosen {
stdout-path = "serial2:1500000n8";
};
- analog-sound {
+ sound {
compatible = "audio-graph-card";
label = "rk3588-es8316";
dais = <&i2s0_8ch_p0>;
@@ -50,7 +50,7 @@ hdmi0_con_in: endpoint {
leds {
compatible = "gpio-leds";
pinctrl-names = "default";
- pinctrl-0 = <&led_pins>;
+ pinctrl-0 = <&led_0 &led_1>;
led-0 {
color = <LED_COLOR_ID_GREEN>;
@@ -76,28 +76,19 @@ fan {
pwms = <&pwm3 0 60000 0>;
};
- pcie2x1l2_3v3: regulator-pcie2x1l2-3v3 {
+ vcc3v3_pcie2x1l2: regulator-3v3-0 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PC5 GPIO_ACTIVE_HIGH>;
pinctrl-names = "default";
pinctrl-0 = <&pow_en>;
- regulator-name = "pcie2x1l2_3v3";
+ regulator-name = "vcc3v3_pcie2x1l2";
regulator-min-microvolt = <3300000>;
regulator-max-microvolt = <3300000>;
vin-supply = <&vcc_sysin>;
};
- vcc5v_dcin: regulator-vcc5v-dcin {
- compatible = "regulator-fixed";
- regulator-name = "vcc5v_dcin";
- regulator-always-on;
- regulator-boot-on;
- regulator-min-microvolt = <5000000>;
- regulator-max-microvolt = <5000000>;
- };
-
- vcc5v0_usb_host: regulator-vcc5v0-usb-host {
+ vcc5v0_usb_host: regulator-5v0-0 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio4 RK_PB5 GPIO_ACTIVE_HIGH>;
@@ -109,7 +100,7 @@ vcc5v0_usb_host: regulator-vcc5v0-usb-host {
vin-supply = <&vcc_sysin>;
};
- vcc5v0_usb_otg0: regulator-vcc5v0-usb-otg0 {
+ vcc5v0_usb_otg0: regulator-5v0-1 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PD4 GPIO_ACTIVE_HIGH>;
@@ -121,7 +112,7 @@ vcc5v0_usb_otg0: regulator-vcc5v0-usb-otg0 {
vin-supply = <&vcc_sysin>;
};
- vcc_1v1_nldo_s3: regulator-vcc-1v1-nldo-s3 {
+ vcc_1v1_nldo_s3: regulator-1v1 {
compatible = "regulator-fixed";
regulator-name = "vcc_1v1_nldo_s3";
regulator-always-on;
@@ -131,7 +122,7 @@ vcc_1v1_nldo_s3: regulator-vcc-1v1-nldo-s3 {
vin-supply = <&vcc_sysin>;
};
- vcc_3v3_pmu: regulator-vcc-3v3-pmu {
+ vcc_3v3_pmu: regulator-3v3-1 {
compatible = "regulator-fixed";
regulator-name = "vcc_3v3_pmu";
regulator-always-on;
@@ -141,17 +132,17 @@ vcc_3v3_pmu: regulator-vcc-3v3-pmu {
vin-supply = <&vcc_3v3_s3>;
};
- vcc_3v3_s0: regulator-vcc-3v3-s0 {
+ vcc_3v3_s0: regulator-3v3-2 {
compatible = "regulator-fixed";
regulator-name = "vcc_3v3_s0";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <3300000>;
regulator-max-microvolt = <3300000>;
- vin-supply = <&vcc_1v8_s0>;
+ vin-supply = <&vcc_3v3_s3>;
};
- vcc_5v0: regulator-vcc-5v0 {
+ vcc_5v0: regulator-5v0-2 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio4 RK_PA3 GPIO_ACTIVE_HIGH>;
@@ -163,17 +154,16 @@ vcc_5v0: regulator-vcc-5v0 {
vin-supply = <&vcc_sysin>;
};
- vcc_sysin: regulator-vcc-sysin {
+ vcc_sysin: regulator-5v0-3 {
compatible = "regulator-fixed";
regulator-name = "vcc_sysin";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <5000000>;
regulator-max-microvolt = <5000000>;
- vin-supply = <&vcc5v_dcin>;
};
- vcca: regulator-vcca {
+ vcca: regulator-4v0 {
compatible = "regulator-fixed";
regulator-name = "vcca";
regulator-always-on;
@@ -183,7 +173,7 @@ vcca: regulator-vcca {
vin-supply = <&vcc_sysin>;
};
- vdd_3v3: regulator-vdd-3v3 {
+ vdd_3v3: regulator-3v3-3 {
compatible = "regulator-fixed";
enable-active-high;
gpio = <&gpio0 RK_PA0 GPIO_ACTIVE_HIGH>;
@@ -404,48 +394,53 @@ &pcie2x1l2 {
pinctrl-names = "default";
pinctrl-0 = <&pcie20x1_2_perstn_m0>;
reset-gpios = <&gpio3 RK_PD1 GPIO_ACTIVE_HIGH>;
- vpcie3v3-supply = <&pcie2x1l2_3v3>;
+ vpcie3v3-supply = <&vcc3v3_pcie2x1l2>;
status = "okay";
};
&pinctrl {
leds {
- led_pins: led-pins {
- rockchip,pins = <3 RK_PC4 RK_FUNC_GPIO &pcfg_pull_none>,
- <3 RK_PD5 RK_FUNC_GPIO &pcfg_pull_none>;
+ led_0: led-0 {
+ rockchip,pins = <3 RK_PC4 RK_FUNC_GPIO &pcfg_pull_none>;
+ };
+
+ led_1: led-1 {
+ rockchip,pins = <3 RK_PD5 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
- mdio {
- gmac1_rstn: gmac1-rstn {
+ ethernet-phy {
+ gmac1_rstn: ethernet-phy-0 {
rockchip,pins = <3 RK_PB7 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
pcie {
- pcie20x1_2_perstn_m0: pcie20x1-2-perstn-m0 {
+ pcie20x1_2_perstn_m0: pcie-0 {
rockchip,pins = <3 RK_PD1 RK_FUNC_GPIO &pcfg_pull_none>;
};
- pow_en: pow-en {
+ pow_en: regulator-3v3-0 {
rockchip,pins = <0 RK_PC5 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
usb {
- usb_host_pwren_h: usb-host-pwren-h {
+ usb_host_pwren_h: regulator-5v0-0 {
rockchip,pins = <4 RK_PB5 RK_FUNC_GPIO &pcfg_pull_none>;
};
- usb_otg_pwren_h: usb-otg-pwren-h {
+ usb_otg_pwren_h: regulator-5v0-1 {
rockchip,pins = <0 RK_PD4 RK_FUNC_GPIO &pcfg_pull_none>;
};
- usb_wifi_pwr: usb-wifi-pwr {
+ usb_wifi_pwr: regulator-3v3-3 {
rockchip,pins = <0 RK_PA0 RK_FUNC_GPIO &pcfg_pull_none>;
};
+ };
- vcc_5v0_pwren_h: vcc-5v0-pwren-h {
+ regulators {
+ vcc_5v0_pwren_h: regulator-5v0-2 {
rockchip,pins = <4 RK_PA3 RK_FUNC_GPIO &pcfg_pull_none>;
};
};
@@ -464,11 +459,14 @@ &saradc {
&sdhci {
bus-width = <8>;
+ cap-mmc-highspeed;
mmc-hs400-1_8v;
mmc-hs400-enhanced-strobe;
- no-sdio;
no-sd;
+ no-sdio;
non-removable;
+ vmmc-supply = <&vcc_3v3_s0>;
+ vqmmc-supply = <&vcc_1v8_s3>;
status = "okay";
};
@@ -479,7 +477,6 @@ &sdmmc {
cd-gpios = <&gpio0 RK_PA4 GPIO_ACTIVE_LOW>;
disable-wp;
no-sdio;
- no-mmc;
sd-uhs-sdr104;
vmmc-supply = <&vcc_3v3_s3>;
vqmmc-supply = <&vccio_sd_s0>;
@@ -630,7 +627,7 @@ regulator-state-mem {
};
vcc_2v0_pldo_s3: dcdc-reg7 {
- regulator-name = "vdd_2v0_pldo_s3";
+ regulator-name = "vcc_2v0_pldo_s3";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <2000000>;
@@ -665,8 +662,8 @@ regulator-state-mem {
};
};
- vcc1v8_pmu_ddr_s3: dcdc-reg10 {
- regulator-name = "vcc1v8_pmu_ddr_s3";
+ vcc_1v8_s3: dcdc-reg10 {
+ regulator-name = "vcc_1v8_s3";
regulator-always-on;
regulator-boot-on;
regulator-min-microvolt = <1800000>;
--
2.43.0
next prev parent reply other threads:[~2024-12-23 1:39 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-12-23 1:39 [PATCH v6 0/7] arm64: dts: rockchip: Refine dts for Radxa ROCK 5C FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 1:39 ` [PATCH v6 1/7] arm64: dts: rockchip: Change the function of the blue LED " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 1:39 ` [PATCH v6 2/7] arm64: dts: rockchip: Use a longer PWM period for the fan on " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 10:33 ` Dragan Simic
2024-12-23 10:33 ` Dragan Simic
2024-12-23 1:39 ` [PATCH v6 3/7] arm64: dts: rockchip: Remove the RTC and related nodes for " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 1:39 ` [PATCH v6 4/7] arm64: dts: rockchip: Add cd-gpios for sdmmc " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 1:39 ` [PATCH v6 5/7] arm64: dts: rockchip: Fix the properties of the PMIC regulators " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki [this message]
2024-12-23 1:39 ` [PATCH v6 6/7] arm64: dts: rockchip: Trivial changes " FUKAUMI Naoki
2024-12-23 1:39 ` [PATCH v6 7/7] arm64: dts: rockchip: Sort nodes " FUKAUMI Naoki
2024-12-23 1:39 ` FUKAUMI Naoki
2024-12-27 15:18 ` [PATCH v6 0/7] arm64: dts: rockchip: Refine dts " Rob Herring (Arm)
2024-12-27 15:18 ` Rob Herring (Arm)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20241223013926.1134-7-naoki@radxa.com \
--to=naoki@radxa.com \
--cc=conor+dt@kernel.org \
--cc=devicetree@vger.kernel.org \
--cc=dsimic@manjaro.org \
--cc=heiko@sntech.de \
--cc=krzk+dt@kernel.org \
--cc=linux-rockchip@lists.infradead.org \
--cc=robh@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.