Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
Envelope-to: publicinbox@libre-riscv.org
Delivery-date: Mon, 06 Apr 2020 11:51:42 +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 1jLPLx-0007kt-I3; Mon, 06 Apr 2020 11:51:41 +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 1jLPLv-0007kn-PL
 for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 11:51:39 +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=ZmAhlBNThbCQxUA1jgXGgqrToo/jRc3TTxJwyts+0Yc=; 
 b=nfFh37tD0LOPWDH2SHaBNJs7/P0c2uZXxDWTKj/vSwtdmsGJAZ4rkkoma0QTH0f0RaasD15PKiC18SFDfGMWpKhaEIH1wpTjxEfUvSIf76UVYV4zaROX9Xf4tLynGVKaQ81M+hOWI8P6vTq7wba/iVcCEa+inDwWkIVDR7Oc8r8=;
Received: from mail-lf1-f49.google.com ([209.85.167.49])
 by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jLPLv-0000VD-CG
 for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 10:51:39 +0000
Received: by mail-lf1-f49.google.com with SMTP id s13so11391477lfb.9
 for <libre-riscv-dev@lists.libre-riscv.org>;
 Mon, 06 Apr 2020 03:51:24 -0700 (PDT)
X-Gm-Message-State: AGi0PuYkmBrdzrC7P3rFT2DHlGyJoN5YRXc3df2D2TVQDSZN+lheSXSX
 669GddjoqtbqNfwOZ/1AlEAgC2VXLJuZelmP7ec=
X-Google-Smtp-Source: APiQypJhnlWsQgtZhzgUmsORbiUJWgnivaebRnTfl/C11dgesDoFJBpZQirBZcIvekAgEHvU2lxE8J8yD2LXyP3lF4M=
X-Received: by 2002:a19:6412:: with SMTP id y18mr2789634lfb.107.1586170278576; 
 Mon, 06 Apr 2020 03:51:18 -0700 (PDT)
MIME-Version: 1.0
References: <68333793-489F-4F74-88C2-7DA0BCA206A6@gatech.edu>
In-Reply-To: <68333793-489F-4F74-88C2-7DA0BCA206A6@gatech.edu>
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 6 Apr 2020 11:51:07 +0100
X-Gmail-Original-Message-ID: <CAPweEDzMoDtmpB-oE0oOJkxmEwAzgaKnAPtZbEzQtc+vy4UsBQ@mail.gmail.com>
Message-ID: <CAPweEDzMoDtmpB-oE0oOJkxmEwAzgaKnAPtZbEzQtc+vy4UsBQ@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>

T24gTW9uLCBBcHIgNiwgMjAyMCBhdCAzOjQ2IEFNIEltbWFudWVsLCBZZWhvd3NodWEgVQo8eWlt
bWFudWVsM0BnYXRlY2guZWR1PiB3cm90ZToKPgo+IE9uIHRoZSB3ZWJzaXRlLCB3ZSBoYXZlOgo+
Cj4gPiBUaGUgTGlicmUgUklTQy1WIFByb2plY3QgaXMgYnVpbGRpbmcgYSBoeWJyaWQgQ1BVL0dQ
VSBTb0MuIEFzIHRoZSBuYW1lIG9mIHRoZSBwcm9qZWN0IGltcGxpZXMsCj4gPiB3ZSB3aWxsIGJl
IGZvbGxvd2luZyB0aGUgUklTQy1WIElTQSBkdWUgdG8gaXQgYmVpbmcgb3Blbi1zb3VyY2UgYW5k
IGFsc28gYmVjYXVzZSBvZiB0aGUgaHVnZQo+ID4gc29mdHdhcmUgYW5kIGhhcmR3YXJlIGVjb3N5
c3RlbSBidWlsZGluZyBhcm91bmQgaXQuCj4KPiBTaW5jZSB3ZSBhcmUgbm93IGRvaW5nIHVzZXJz
cGFjZSBSSVNDVitQT1dFUiBhbmQgc3lzdGVtLXdpZGUgUE9XRVIsIEkgaW1hZ2luZSB0aGlzIHNl
Y3Rpb24gc2hvdWxkIGJlIHVwZGF0ZWQ/CgpodHRwczovL2dpdC5saWJyZS1yaXNjdi5vcmcvP3A9
Y3Jvd2RzdXBwbHkuZ2l0O2E9Y29tbWl0ZGlmZjtoPTY5NTc2Y2JkMGNhNThlOThlYmJmNTI1ZDgy
N2IzNzdmZTdhZDA0ZmMKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3Rz
LmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlz
dGluZm8vbGlicmUtcmlzY3YtZGV2Cg==