All of lore.kernel.org
 help / color / mirror / Atom feed
* [Buildroot] [PATCH v1 0/6] Raspberry Pi update
@ 2017-01-23 20:23 Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 1/6] raspberrypi0_defconfig: bump kernel version to 4.4.43 Peter Seiderer
                   ` (6 more replies)
  0 siblings, 7 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Update rpi-firmware/rpi-userland and all raspberrypi?_defconfigs to
kernel version 4.4.43.

Tested on Raspberry Pi 3 Model B v1.2 hardware:
- raspberrypi3_defconfig
- raspberrypi3_defconfig updated to glibc, systemd, gcc-6.x and
  qt5 (linuxfb, eglfs)

PeterpSeiderer (6):
  raspberrypi0_defconfig: bump kernel version to 4.4.43
  raspberrypi_defconfig: bump kernel version to 4.4.43
  raspberrypi2_defconfig: bump kernel version to 4.4.43
  raspberrypi3_defconfig: bump kernel version to 4.4.43
  rpi-firmware: bump version
  rpi-userland: bump version

 configs/raspberrypi0_defconfig         | 2 +-
 configs/raspberrypi2_defconfig         | 2 +-
 configs/raspberrypi3_defconfig         | 2 +-
 configs/raspberrypi_defconfig          | 2 +-
 package/rpi-firmware/rpi-firmware.hash | 2 +-
 package/rpi-firmware/rpi-firmware.mk   | 2 +-
 package/rpi-userland/rpi-userland.hash | 2 +-
 package/rpi-userland/rpi-userland.mk   | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

-- 
2.11.0

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 1/6] raspberrypi0_defconfig: bump kernel version to 4.4.43
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 2/6] raspberrypi_defconfig: " Peter Seiderer
                   ` (5 subsequent siblings)
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 configs/raspberrypi0_defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/raspberrypi0_defconfig b/configs/raspberrypi0_defconfig
index 2e031921a..736143f0a 100644
--- a/configs/raspberrypi0_defconfig
+++ b/configs/raspberrypi0_defconfig
@@ -10,7 +10,7 @@ BR2_TOOLCHAIN_BUILDROOT_CXX=y
 BR2_LINUX_KERNEL=y
 BR2_LINUX_KERNEL_CUSTOM_GIT=y
 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/raspberrypi/linux.git"
-BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="c6d86f7aa554854b04614ebb4d394766081fb41f"
+BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="1ebe8d4a4c96cd6a90805c74233a468854960f67"
 BR2_LINUX_KERNEL_DEFCONFIG="bcmrpi"
 
 # Build the DTBs for A/B from the kernel sources: the zero is the same
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 2/6] raspberrypi_defconfig: bump kernel version to 4.4.43
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 1/6] raspberrypi0_defconfig: bump kernel version to 4.4.43 Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 3/6] raspberrypi2_defconfig: " Peter Seiderer
                   ` (4 subsequent siblings)
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 configs/raspberrypi_defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/raspberrypi_defconfig b/configs/raspberrypi_defconfig
index 262959989..6af9fb300 100644
--- a/configs/raspberrypi_defconfig
+++ b/configs/raspberrypi_defconfig
@@ -12,7 +12,7 @@ BR2_TOOLCHAIN_BUILDROOT_CXX=y
 BR2_LINUX_KERNEL=y
 BR2_LINUX_KERNEL_CUSTOM_GIT=y
 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/raspberrypi/linux.git"
-BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="c6d86f7aa554854b04614ebb4d394766081fb41f"
+BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="1ebe8d4a4c96cd6a90805c74233a468854960f67"
 BR2_LINUX_KERNEL_DEFCONFIG="bcmrpi"
 
 # Build the DTBs for A/B, A+/B+ and compute module from the kernel sources
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 3/6] raspberrypi2_defconfig: bump kernel version to 4.4.43
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 1/6] raspberrypi0_defconfig: bump kernel version to 4.4.43 Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 2/6] raspberrypi_defconfig: " Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 4/6] raspberrypi3_defconfig: " Peter Seiderer
                   ` (3 subsequent siblings)
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 configs/raspberrypi2_defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/raspberrypi2_defconfig b/configs/raspberrypi2_defconfig
index e94f350ce..1ec92e755 100644
--- a/configs/raspberrypi2_defconfig
+++ b/configs/raspberrypi2_defconfig
@@ -13,7 +13,7 @@ BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y
 BR2_LINUX_KERNEL=y
 BR2_LINUX_KERNEL_CUSTOM_GIT=y
 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/raspberrypi/linux.git"
-BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="c6d86f7aa554854b04614ebb4d394766081fb41f"
+BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="1ebe8d4a4c96cd6a90805c74233a468854960f67"
 BR2_LINUX_KERNEL_DEFCONFIG="bcm2709"
 
 # Build the DTB from the kernel sources
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 4/6] raspberrypi3_defconfig: bump kernel version to 4.4.43
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
                   ` (2 preceding siblings ...)
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 3/6] raspberrypi2_defconfig: " Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 5/6] rpi-firmware: bump version Peter Seiderer
                   ` (2 subsequent siblings)
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 configs/raspberrypi3_defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/raspberrypi3_defconfig b/configs/raspberrypi3_defconfig
index 4cd046d55..6fceaa0b5 100644
--- a/configs/raspberrypi3_defconfig
+++ b/configs/raspberrypi3_defconfig
@@ -13,7 +13,7 @@ BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y
 BR2_LINUX_KERNEL=y
 BR2_LINUX_KERNEL_CUSTOM_GIT=y
 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/raspberrypi/linux.git"
-BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="c6d86f7aa554854b04614ebb4d394766081fb41f"
+BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="1ebe8d4a4c96cd6a90805c74233a468854960f67"
 BR2_LINUX_KERNEL_DEFCONFIG="bcm2709"
 
 # Build the DTB from the kernel sources
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 5/6] rpi-firmware: bump version
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
                   ` (3 preceding siblings ...)
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 4/6] raspberrypi3_defconfig: " Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 6/6] rpi-userland: " Peter Seiderer
  2017-01-23 22:01 ` [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Korsgaard
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 package/rpi-firmware/rpi-firmware.hash | 2 +-
 package/rpi-firmware/rpi-firmware.mk   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package/rpi-firmware/rpi-firmware.hash b/package/rpi-firmware/rpi-firmware.hash
index 4d3b500af..8161d7aeb 100644
--- a/package/rpi-firmware/rpi-firmware.hash
+++ b/package/rpi-firmware/rpi-firmware.hash
@@ -1,2 +1,2 @@
 # Locally computed
-sha256 3e84b3f58e3b978c4a90bb74713c349e99f203ff40f982a9acd8ebfdc256f3af rpi-firmware-2d5dc978b5a1a25f1c68666747e7585fabbcde2f.tar.gz
+sha256 144de63ee1999155fc1ff597630f1a13f798e597e7c4d144b8b625fa774c1f9b rpi-firmware-7f8ac8dac0b80291cbf5e56580139034a0a42070.tar.gz
diff --git a/package/rpi-firmware/rpi-firmware.mk b/package/rpi-firmware/rpi-firmware.mk
index 2fd51d018..822252ad0 100644
--- a/package/rpi-firmware/rpi-firmware.mk
+++ b/package/rpi-firmware/rpi-firmware.mk
@@ -4,7 +4,7 @@
 #
 ################################################################################
 
-RPI_FIRMWARE_VERSION = 2d5dc978b5a1a25f1c68666747e7585fabbcde2f
+RPI_FIRMWARE_VERSION = 7f8ac8dac0b80291cbf5e56580139034a0a42070
 RPI_FIRMWARE_SITE = $(call github,raspberrypi,firmware,$(RPI_FIRMWARE_VERSION))
 RPI_FIRMWARE_LICENSE = BSD-3c
 RPI_FIRMWARE_LICENSE_FILES = boot/LICENCE.broadcom
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 6/6] rpi-userland: bump version
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
                   ` (4 preceding siblings ...)
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 5/6] rpi-firmware: bump version Peter Seiderer
@ 2017-01-23 20:23 ` Peter Seiderer
  2017-01-23 22:01 ` [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Korsgaard
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2017-01-23 20:23 UTC (permalink / raw)
  To: buildroot

Signed-off-by: Peter Seiderer <ps.report@gmx.net>
---
 package/rpi-userland/rpi-userland.hash | 2 +-
 package/rpi-userland/rpi-userland.mk   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package/rpi-userland/rpi-userland.hash b/package/rpi-userland/rpi-userland.hash
index 74b1cc94c..24b6584bc 100644
--- a/package/rpi-userland/rpi-userland.hash
+++ b/package/rpi-userland/rpi-userland.hash
@@ -1,2 +1,2 @@
 # Locally computed
-sha256 202f194754ddb28ff3a726477185e90a36b3b98fdbd9889c61cdb0b470166a02 rpi-userland-bb15afe33b313fe045d52277a78653d288e04f67.tar.gz
+sha256 f229c29ceae611101bf4716b112251b2f2a33cfbb6636d736deda4e1314bb9d9 rpi-userland-c139376e9bc6fbd93f777c7fc3c7d7cf2cc35122.tar.gz
diff --git a/package/rpi-userland/rpi-userland.mk b/package/rpi-userland/rpi-userland.mk
index b3f949c3e..4e3b4ec47 100644
--- a/package/rpi-userland/rpi-userland.mk
+++ b/package/rpi-userland/rpi-userland.mk
@@ -4,7 +4,7 @@
 #
 ################################################################################
 
-RPI_USERLAND_VERSION = bb15afe33b313fe045d52277a78653d288e04f67
+RPI_USERLAND_VERSION = c139376e9bc6fbd93f777c7fc3c7d7cf2cc35122
 RPI_USERLAND_SITE = $(call github,raspberrypi,userland,$(RPI_USERLAND_VERSION))
 RPI_USERLAND_LICENSE = BSD-3c
 RPI_USERLAND_LICENSE_FILES = LICENCE
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 0/6] Raspberry Pi update
  2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
                   ` (5 preceding siblings ...)
  2017-01-23 20:23 ` [Buildroot] [PATCH v1 6/6] rpi-userland: " Peter Seiderer
@ 2017-01-23 22:01 ` Peter Korsgaard
  6 siblings, 0 replies; 11+ messages in thread
From: Peter Korsgaard @ 2017-01-23 22:01 UTC (permalink / raw)
  To: buildroot

>>>>> "Peter" == Peter Seiderer <ps.report@gmx.net> writes:

 > Update rpi-firmware/rpi-userland and all raspberrypi?_defconfigs to
 > kernel version 4.4.43.

 > Tested on Raspberry Pi 3 Model B v1.2 hardware:
 > - raspberrypi3_defconfig
 > - raspberrypi3_defconfig updated to glibc, systemd, gcc-6.x and
 >   qt5 (linuxfb, eglfs)

Would it perhaps make sense to have a qt5/graphics demo defconfig for
rpi3?

 > PeterpSeiderer (6):
 >   raspberrypi0_defconfig: bump kernel version to 4.4.43
 >   raspberrypi_defconfig: bump kernel version to 4.4.43
 >   raspberrypi2_defconfig: bump kernel version to 4.4.43
 >   raspberrypi3_defconfig: bump kernel version to 4.4.43
 >   rpi-firmware: bump version
 >   rpi-userland: bump version

Committed entire series, thanks.

-- 
Bye, Peter Korsgaard

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 0/6] Raspberry PI update
  2016-12-03 23:11 Peter Seiderer
@ 2016-12-04 14:59 ` Thomas Petazzoni
  0 siblings, 0 replies; 11+ messages in thread
From: Thomas Petazzoni @ 2016-12-04 14:59 UTC (permalink / raw)
  To: buildroot

Hello,

On Sun,  4 Dec 2016 00:11:31 +0100, Peter Seiderer wrote:

> Peter Seiderer (6):
>   raspberrypi0_defconfig: bump kernel version to 4.4.36
>   raspberrypi_defconfig: bump kernel version to 4.4.36
>   raspberrypi2_defconfig: bump kernel version to 4.4.36
>   raspberrypi3_defconfig: bump kernel version to 4.4.36
>   rpi-firmware: bump version
>   rpi-userland: bump version

All applied, thanks!

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux and Kernel engineering
http://free-electrons.com

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 0/6] Raspberry PI update
       [not found] ` <35324051-2281-6578-68fb-28ddf3e744bd@cox.net>
@ 2016-12-04 14:21   ` Peter Seiderer
  0 siblings, 0 replies; 11+ messages in thread
From: Peter Seiderer @ 2016-12-04 14:21 UTC (permalink / raw)
  To: buildroot

Hello Chris,

please keep the buildroot mailing list on CC...

On Sat, 3 Dec 2016 16:34:45 -0700, Chris Sparks <mr_ada@cox.net> wrote:

> Peter,
> 
> Looks like you have had success getting an RPI3 to work with BuildRoot.  
> I haven't.
> So how do I get these fixes?  Do I need to clone and rebase?

This patches are only updates, the last fix was 'raspberrypi3: fix serial console
(load pi3-miniuart-bt overlay)' (see [1]), so it should at least in buildroot-2016-08
and buildroot-2016-11 and Rpi3 should work out of the box with the raspberrypi3_defconfig
(maybe only one defect regarding the hdmi console in case you change to systemd, see [2[])...

If it does not work for you don't mind to ask again on the mailinglist (or open a bugreport),
giving your exact buldroot version, commands executed, setup etc. ...

Regards,
Peter


[1] https://git.buildroot.net/buildroot/commit/?id=1e03cc2290f98fc7434254d2abd9afd504de8360
[2] https://bugs.busybox.net/show_bug.cgi?id=9196


> 
> Chris
> > Update rpi-firmware/rpi-userland and all raspberrypiX_defconfigs to
> > kernel version 4.4.36.
> >
> > Tested on Raspberry Pi 3 Model B v1.2 hardware:
> > - raspberrypi3_defconfig
> > - raspberrypi3_defconfig updated to glibc, systemd, gcc-6.x and
> >    qt5 (linuxfb, eglfs)
> >
> > Peter Seiderer (6):
> >    raspberrypi0_defconfig: bump kernel version to 4.4.36
> >    raspberrypi_defconfig: bump kernel version to 4.4.36
> >    raspberrypi2_defconfig: bump kernel version to 4.4.36
> >    raspberrypi3_defconfig: bump kernel version to 4.4.36
> >    rpi-firmware: bump version
> >    rpi-userland: bump version
> >
> >   configs/raspberrypi0_defconfig         | 2 +-
> >   configs/raspberrypi2_defconfig         | 2 +-
> >   configs/raspberrypi3_defconfig         | 2 +-
> >   configs/raspberrypi_defconfig          | 2 +-
> >   package/rpi-firmware/rpi-firmware.hash | 2 +-
> >   package/rpi-firmware/rpi-firmware.mk   | 2 +-
> >   package/rpi-userland/rpi-userland.hash | 2 +-
> >   package/rpi-userland/rpi-userland.mk   | 2 +-
> >   8 files changed, 8 insertions(+), 8 deletions(-)
> >
> 
> 
> ---
> This email has been checked for viruses by Avast antivirus software.
> https://www.avast.com/antivirus
> 

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Buildroot] [PATCH v1 0/6] Raspberry PI update
@ 2016-12-03 23:11 Peter Seiderer
  2016-12-04 14:59 ` Thomas Petazzoni
  0 siblings, 1 reply; 11+ messages in thread
From: Peter Seiderer @ 2016-12-03 23:11 UTC (permalink / raw)
  To: buildroot

Update rpi-firmware/rpi-userland and all raspberrypiX_defconfigs to
kernel version 4.4.36.

Tested on Raspberry Pi 3 Model B v1.2 hardware:
- raspberrypi3_defconfig
- raspberrypi3_defconfig updated to glibc, systemd, gcc-6.x and
  qt5 (linuxfb, eglfs)

Peter Seiderer (6):
  raspberrypi0_defconfig: bump kernel version to 4.4.36
  raspberrypi_defconfig: bump kernel version to 4.4.36
  raspberrypi2_defconfig: bump kernel version to 4.4.36
  raspberrypi3_defconfig: bump kernel version to 4.4.36
  rpi-firmware: bump version
  rpi-userland: bump version

 configs/raspberrypi0_defconfig         | 2 +-
 configs/raspberrypi2_defconfig         | 2 +-
 configs/raspberrypi3_defconfig         | 2 +-
 configs/raspberrypi_defconfig          | 2 +-
 package/rpi-firmware/rpi-firmware.hash | 2 +-
 package/rpi-firmware/rpi-firmware.mk   | 2 +-
 package/rpi-userland/rpi-userland.hash | 2 +-
 package/rpi-userland/rpi-userland.mk   | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

-- 
2.11.0

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2017-01-23 22:01 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-01-23 20:23 [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 1/6] raspberrypi0_defconfig: bump kernel version to 4.4.43 Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 2/6] raspberrypi_defconfig: " Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 3/6] raspberrypi2_defconfig: " Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 4/6] raspberrypi3_defconfig: " Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 5/6] rpi-firmware: bump version Peter Seiderer
2017-01-23 20:23 ` [Buildroot] [PATCH v1 6/6] rpi-userland: " Peter Seiderer
2017-01-23 22:01 ` [Buildroot] [PATCH v1 0/6] Raspberry Pi update Peter Korsgaard
     [not found] <FbC91u0112zVPbg01bCA0v>
     [not found] ` <35324051-2281-6578-68fb-28ddf3e744bd@cox.net>
2016-12-04 14:21   ` [Buildroot] [PATCH v1 0/6] Raspberry PI update Peter Seiderer
  -- strict thread matches above, loose matches on Subject: below --
2016-12-03 23:11 Peter Seiderer
2016-12-04 14:59 ` Thomas Petazzoni

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.