--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Tue, 12 May 2020 14:55:36 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+ by libre-soc.org with esmtp (Exim 4.89)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1jYVNf-0003rZ-Kv; Tue, 12 May 2020 14:55:35 +0100
+Received: from topoi.pooq.com ([69.165.131.134] helo=april.topoi.pooq.com)
+ by libre-soc.org with esmtp (Exim 4.89)
+ (envelope-from <hendrik@topoi.pooq.com>) id 1jYVNe-0003rR-Kl
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 14:55:34 +0100
+Received: by april.topoi.pooq.com (Postfix, from userid 1001)
+ id D17CCC4387; Tue, 12 May 2020 09:55:32 -0400 (EDT)
+Date: Tue, 12 May 2020 09:55:32 -0400
+From: Hendrik Boom <hendrik@topoi.pooq.com>
+To: libre-riscv-dev@lists.libre-riscv.org
+Message-ID: <20200512135532.jbfihzg5nr7qraac@topoi.pooq.com>
+References: <20200511203421.5d834abb14dbc2b7c979c6f7@gmx.com>
+ <20200512090144.8fe5608fc7b63c8b6b33367a@gmx.com>
+ <CAC2bXD68V1G5Rd5U0xBYHduNHJsZECMU_EiGbQpjnWQT9Y1ncQ@mail.gmail.com>
+ <20200512094413.fba058b3ca1d04be1bae3aa8@gmx.com>
+ <CAC2bXD6KG8=aoJNoZvzZrBz=t+GZyct9JqQ0J=DjSgv7+TYNgQ@mail.gmail.com>
+ <CAPweEDwEVr+hqdojsnn4LVP+w_dEjeK8Lw6t1wMwnBfuxkceMA@mail.gmail.com>
+MIME-Version: 1.0
+Content-Disposition: inline
+In-Reply-To: <CAPweEDwEVr+hqdojsnn4LVP+w_dEjeK8Lw6t1wMwnBfuxkceMA@mail.gmail.com>
+User-Agent: NeoMutt/20170113 (1.7.2)
+Subject: Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+T24gVHVlLCBNYXkgMTIsIDIwMjAgYXQgMDg6NTY6MTVBTSArMDEwMCwgTHVrZSBLZW5uZXRoIENh
+c3NvbiBMZWlnaHRvbiB3cm90ZToKPiAKPiB0aGV5J3JlIHN1ZmZpY2llbnRseSBidXN5IHRoYXQg
+dGhlIGNvcmUgZW5naW5lZXJzICh0aGUgb25lcyBpbiBJQk0sCj4gcmVzcG9uc2libGUgZm9yIHRo
+ZSBQT1dFUiBhcmNoaXRlY3R1cmUpIGhhdmUgbm90IHlldCByZXNwb25kZWQgLQo+IHB1YmxpY2x5
+IC0gdG8gb3VyIElTQU1VWC9OUyBsZXR0ZXIKPiAoaHR0cHM6Ly9saWJyZS1yaXNjdi5vcmcvaXNh
+X2NvbmZsaWN0X3Jlc29sdXRpb24vaXNhbXV4X2lzYW5zLyksIGFuZAo+IElTQU1VWC9OUyBpcyBh
+biBleHRyZW1lbHkgaW1wb3J0YW50IHBhcnQgKGFic29sdXRlbHkgbWlzc2lvbi1jcml0aWNhbCkK
+PiBvZiB3aGF0IHdlIG5lZWQgdG8gZG8uCgpKdXN0IG5vdGljaW5nIHRoYXQgZG9jdW1lbnQgaXMg
+UklTQ1Ytb3JpZW50ZWQsIGFuZCBub3doZXJlIG1lbnRpb25zIFBPV0VSIGF0IAphbGwuCgpTaG91
+bGQgaXQgYmUgY2hhbmdlZCB0byBleHBsaWNpdGx5IHJlZmVyIHRvIHRoZSBQT1dFUiBhcmNoaXRl
+Y3R1cmUgYXMgb25lIHRoYXQgCnNob3VsZCBhY3F1aXJlIHRoZSBDU1IgcHJvcG9zYWw/CgotLSBo
+ZW5kcmlrCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwps
+aWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1y
+aXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xp
+YnJlLXJpc2N2LWRldgo=
+