--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 06 Apr 2020 11:59:33 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+ by libre-riscv.org with esmtp (Exim 4.89)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1jLPTY-0007rK-IU; Mon, 06 Apr 2020 11:59:32 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jLPTW-0007rD-RV
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 11:59:30 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Transfer-Encoding:Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
+ bh=1g33qpAq6piYefO22FhAlUi3R28QmaL9fk5zB5HWLsY=;
+ b=M6PzuRrSoITDv9bzwK8K+KiNaUP2W+0SlSNxOsoaNcIg8auE+rY6WYYaIvnAybi25ID+jE1rG+i9qKEkhn1eiqaNTJxf8N2znj+2yuZAoUpQNYU33Tg+Gy/vdtlggynymfJEhxDB7xiKhtbQsPQoTY1UDE+nhLDZXkFKBiv9zN8=;
+Received: from mail-lj1-f176.google.com ([209.85.208.176])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jLPTW-0000W8-Dh
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 10:59:30 +0000
+Received: by mail-lj1-f176.google.com with SMTP id k21so14211859ljh.2
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 06 Apr 2020 03:59:15 -0700 (PDT)
+X-Gm-Message-State: AGi0PuY6DnJZ6WflRm9hFP4g00Yby+HENqatqQHV3gxG04VybSlWkfMr
+ TDq9nkMa5nWmBicB8XSAL70Q+u2wz2PY7O4hatU=
+X-Google-Smtp-Source: APiQypLZSisJYw7z/ekbBuOpxKUWTmb2XcH5piqNkA4IWyUq/Y+iG8VXW3TY7N7G/bgasb4RBNKoFxAGJl8Eko4l+L8=
+X-Received: by 2002:a2e:8903:: with SMTP id d3mr12215754lji.266.1586170749571;
+ Mon, 06 Apr 2020 03:59:09 -0700 (PDT)
+MIME-Version: 1.0
+References: <68333793-489F-4F74-88C2-7DA0BCA206A6@gatech.edu>
+ <A03CD901-D668-44EC-8212-F63C65EA79E5@gatech.edu>
+In-Reply-To: <A03CD901-D668-44EC-8212-F63C65EA79E5@gatech.edu>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Mon, 6 Apr 2020 11:58:58 +0100
+X-Gmail-Original-Message-ID: <CAPweEDythkf=9kkS03NRuKi93NeCKbVW1guPud6yh7jdjKJqSQ@mail.gmail.com>
+Message-ID: <CAPweEDythkf=9kkS03NRuKi93NeCKbVW1guPud6yh7jdjKJqSQ@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] Following the PowerISA
+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>
+
+T24gTW9uLCBBcHIgNiwgMjAyMCBhdCAzOjU0IEFNIEltbWFudWVsLCBZZWhvd3NodWEgVQo8eWlt
+bWFudWVsM0BnYXRlY2guZWR1PiB3cm90ZToKPgo+IEFsc28gb24gdGhlIHdlYnNpdGUgd2UgaGF2
+ZTogaHR0cHM6Ly9saWJyZS1yaXNjdi5vcmcvcmVzb3VyY2VzLyNpbmRleDloMQo+Cj4KPiBUT0RP
+IGdldCBpbiB0b3VjaDogT3RoZXIgUklTQy1WIEdQVSBhdHRlbXB0cwo+IOKAoiBodHRwczovL2Zv
+c3NpLWZvdW5kYXRpb24ub3JnLzIwMTkvMDkvMDMvZ3NvYy02NGItcG9pbnRlcnMtaW4tcnYzMgoK
+dGhlIGZvc3NpIGZvdW5kYXRpb24gaXMgcnVuIGluLi4uICJBYnVzaXZlIENvbnRyaWJ1dG9yIENv
+dmVuYW50CkNvbmR1Y3QgTW9kZSIgYW5kIHRoZXkgaGF2ZSB1bmZvcnR1bmF0ZWx5Li4uIGFidXNl
+ZCB0aGF0IHVuZXRoaWNhbAoiQ29kZSIuICB0aGVyZWZvcmUsIHNhZGx5LCB0aGUgbGVzcyB3ZSBo
+YXZlIHRvIGRvIHdpdGggdGhlbSwgdGhlCmJldHRlci4KCj4g4oCiIGh0dHA6Ly9ianVtcC5vcmcv
+bWFueWNvcmUvCj4KPiDigKIgaHR0cHM6Ly9yZXNoYXJtYS5naXRodWIuaW8vUklTQ1YzMi1HUFUv
+CgoKPiBEaWQgd2UgZXZlciBjb250YWN0IHRoZW0/Cgpuby4KCj4gU2hvdWxkIEkgZG8gdGhhdD8K
+CmkgbGVmdCB0aGUgbGlua3MgdGhlcmUgbW9zdGx5IHRvIGxldCBwZW9wbGUga25vdyB0aGF0IHRo
+ZXkgZXhpc3QsIHNvCnRoYXQgdGhlcmUgaXMgYSBjb21wYXJpc29uLiAgaSBkaWQgaG93ZXZlciBy
+ZWFjaCBvdXQgdG8gdGhlIG9wZW5jb3Jlcwpub24tc2hhZGVyLWVuZ2luZSB0ZWFtLgoKdGhpcyBz
+aG91bGQgcHJvYmFibHkgYmUgYWRkZWQgYXMgd2VsbApodHRwczovL29wZW5jb3Jlcy5vcmcvcHJv
+amVjdHMvd2YzZApodHRwczovL29wZW5jb3Jlcy5vcmcvcHJvamVjdHMvb3BlbmdmeDQzMAoKb2gu
+ICBtdXN0IHJlY29yZCB0aGlzIG9uZSBzb21ld2hlcmUKaHR0cHM6Ly9vcGVuY29yZXMub3JnL3By
+b2plY3RzL3ZpZGVvX3N5c3RlbXMKCndoZXJlIHRoZSBoZWNrIGlzIGl0Li4uCgpvbyEKaHR0cHM6
+Ly9vcGVuY29yZXMub3JnL3Byb2plY3RzL2dwdQoKaG0sIHNvcnJ5LCBjYW4ndCBmaW5kIGl0IGF0
+IHRoZSBtb21lbnQuICBpdCB3YXMgYSBub24tc2hhZGVyIGRlc2lnbi4KCmwuCgpfX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFp
+bGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xp
+c3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
+