--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Tue, 12 May 2020 09:34:27 +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 1jYQMs-0007gT-CZ; Tue, 12 May 2020 09:34:26 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jYQMr-0007gI-2J
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 09:34:25 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
+ bh=sOpyrMLTD4X8SFdcFW9/p4kZ2/0otnD2bDb0nO36OaQ=;
+ b=VINouX8LH8IcndltIHEp3bNH2Xro7XNpugAvTpTY725kV28PWBxC/tU1gn5I2TVc4ecBOa2f/leigfgLjoJqaVKfbc89bqDxQkXJdVdOnuoUmpD53OJ2lv0v/ZkfpA0BCOTZJExOClZfAP4IxdCWLjA/yPNgO0eDXQYaTUXoxEs=;
+Received: from mail-lj1-f174.google.com ([209.85.208.174])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jYQMq-00053k-Lo
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 08:34:24 +0000
+Received: by mail-lj1-f174.google.com with SMTP id g4so12639981ljl.2
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Tue, 12 May 2020 01:34:09 -0700 (PDT)
+X-Gm-Message-State: AOAM5323M3j2yOMSN77Tttu3vQpVIio/eRPPhJ+0i6/uEWTmteSPxK+g
+ XoTurPCShf9ucpHUd3D5tQrGcRyWtabzGSmWjCY=
+X-Google-Smtp-Source: ABdhPJzK9k1AupR05gtqclShUrBI9m670GBiLMgsTLtUX67wd4jmrBtdt1HN23+rXPF2vMrS7/tQw7102jOoUyLyf7E=
+X-Received: by 2002:a2e:2245:: with SMTP id i66mr13164547lji.191.1589272443667;
+ Tue, 12 May 2020 01:34:03 -0700 (PDT)
+MIME-Version: 1.0
+References: <20200511203421.5d834abb14dbc2b7c979c6f7@gmx.com>
+ <20200512090144.8fe5608fc7b63c8b6b33367a@gmx.com>
+ <CAPweEDw4siZsTwHd136CB8xZuiNeoA1X80fgdAv9NVj1N-nB=w@mail.gmail.com>
+ <20200512112314.1e2bb6d08199e725106fe98a@gmx.com>
+In-Reply-To: <20200512112314.1e2bb6d08199e725106fe98a@gmx.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Tue, 12 May 2020 09:33:52 +0100
+X-Gmail-Original-Message-ID: <CAPweEDxqj+YZZyKXHL+=9uhGpRb5GEZeHtQw-Z=mx=_6ZCN3Sg@mail.gmail.com>
+Message-ID: <CAPweEDxqj+YZZyKXHL+=9uhGpRb5GEZeHtQw-Z=mx=_6ZCN3Sg@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+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>
+
+T24gVHVlLCBNYXkgMTIsIDIwMjAgYXQgOToyMiBBTSBMYXVyaSBLYXNhbmVuIDxjYW5kQGdteC5j
+b20+IHdyb3RlOgoKPiBJdCdzIGp1c3QgYSBuYW1lIHRob3VnaCwgZXZlbiB0aGUgZG9jIHNheXMg
+eW91IGNhbiBydW4gTGludXggb24gdGhlCj4gbG93ZXIgbGV2ZWxzLgoKeWVzLi4uIHlvdSBjYW4u
+Li4uIGhvd2V2ZXIgbm90ZSB0aGUgcGhyYXNlICJMaW51eCBDb21wbGlhbmN5Ii4gIHRoaXMKbWVh
+bnMgdGhhdCB0aGV5IGhhdmUgcGxhbnMgZm9yIGFjdHVhbCBDb21wbGlhbmNlIFRlc3QgU3VpdGVz
+LiAgdGhpcyBpbgp0dXJuIHdpbGwgbWVhbiB0aGF0CgpvbmUgb3B0aW9uIHRoZXJlZm9yZSBpcyB0
+byBoYXZlIGEgc29mdHdhcmUtZHJpdmVuIGVtdWxhdG9yIG1vZGUgZm9yClNJTUQuICB0aGlzIHdv
+dWxkIGJlIG91ciByZXNwb25zaWJpbGl0eSB0byB3cml0ZSBhbmQgbWFpbnRhaW4uCgo+IEl0J3Mg
+ZmluZSBmb3IgbGlicmVzb2MgdG8gYmUgYXQgdGhlIGludCtmcCBsZXZlbCwgYW5kCj4gaW5jbHVk
+ZSBvcHRpb25hbCBmZWF0dXJlcyBmcm9tIGFib3ZlIHRoYXQgYXJlIHVzZWZ1bC4gSSBqdXN0IHdh
+bnRlZCB0bwo+IHBvaW50IG91dCB0aGUgQkUvTEUgcmVxdWlyZW1lbnQgYXMgaXQgc3VycHJpc2Vk
+IG1lIGF0IGxlYXN0LgoKeWVoIC0gaW4gdGhlIFdlc3QgaXQgaXMganVzdCBub3Qga25vd24gdGhh
+dCB0aGUgbWFqb3JpdHkgb2YgUy5FLkFzaWEKaW5kdXN0cnkgcnVucyBvbiBCRSBoYXJkd2FyZSB0
+aGF0IGlzIG9mdGVuIDQwIHllYXJzIG9sZCAoVk1FIEJ1cykuCgo+IEJFIGZvciBpbnN0cnVjdGlv
+bnMgaXMgbm90IGZ1bGwgQkUsIGFzIGRhdGEgY2hhbmdlcyB0b28uCgppIHJlY2FsbCAoYW5kIGNv
+dWxkIGJlIHdyb25nIGFib3V0KSBzZWVpbmcgdGhhdCB0aGVyZSdzIGRpZmZlcmVudApiaXRzLCBv
+bmUgY292ZXJpbmcgaW5zdHJ1Y3Rpb25zLCBvbmUgY292ZXJpbmcgZGF0YS4gIHdvdWxkIG5lZWQg
+dG8KcmVhZCB0aGVtIG1vcmUgY2xvc2VseS4gIGFyZSB5b3Ugc2F5aW5nIHRoYXQgdGhlIEJFLWZv
+ci1pbnN0cnVjdGlvbnMKYml0IHdpbGwgZmxpcCAqZGF0YSogb3JkZXIgYXMgd2VsbD8KCiBTZWUg
+U2VjdGlvbiAxLjEwIG9mIEJvb2sgSSBhbmQgaXRzIGZpcnN0IHR3byBzdWJzZWN0aW9ucy4gQWxz
+byBzZWUKdGhlIGRlc2NyaXB0aW9uCiBvZiB0aGUgSUxFIGZpZWxkIG9mIHRoZSBMUENSIGluIFNl
+Y3Rpb24gMi4yIG9mIEJvb2sgSUlJIGFuZCB0aGUKZGVzY3JpcHRpb24gb2YgdGhlCiBMRSBiaXQg
+b2YgdGhlIE1TUiBpbiBTZWN0aW9uIDQuMi4xIG9mIEJvb2sgSUlJLgoKcDExMjI6CgpJbnRlcnJ1
+cHQgTGl0dGxlLUVuZGlhbiAoSUxFKQpUaGUgY29udGVudHMgb2YgdGhlIElMRSBiaXQgYXJlIGNv
+cGllZCBpbnRvCk1TUkxFIGJ5IGludGVycnVwdHMgdGhhdCBzZXQgTVNSSFYgdG8gMCAoc2VlCgpw
+MTE0NjoKCjYzIExpdHRsZS1FbmRpYW4gTW9kZSAoTEUpCjAgVGhlIHRocmVhZCBpcyBpbiBCaWct
+RW5kaWFuIG1vZGUuCjEgVGhlIHRocmVhZCBpcyBpbiBMaXR0bGUtRW5kaWFuIG1vZGUuCgoKaWYg
+d2UgYXJlIHRvIGZsaXAgdGhlIGluc3RydWN0aW9uIHN0cmVhbSB0byBCRSBtb2RlICh0byBzdXBw
+b3J0IHRoZQpTVlAvQy9WQkxPQ0sgY2FwYWJpbGl0eSkgd2UgZGVmaW5pdGVseSBkb24ndCB3YW50
+IGRhdGEgdG8gZmxpcCBhcwp3ZWxsLgoKYm90dG9tIGxpbmU6IGlmIHRoZXJlICppc24ndCogYSBz
+ZXBhcmF0ZSBiaXQgZm9yIGluc3RydWN0aW9ucy1CRS9MRQphbmQgZGF0YS1CRS9MRSwgd2UgZGVm
+aW5pdGVseSBuZWVkIG9uZS4KCmwuCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
+X19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRl
+dkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWls
+bWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
+