--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Tue, 12 May 2020 04:29:52 +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 1jYLc7-0004GD-Mw; Tue, 12 May 2020 04:29:51 +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 1jYLc5-0004G6-TQ
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 04:29:49 +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:References:In-Reply-To:MIME-Version;
+ bh=1PFy7Jf6zKrx2Xin6v6QOHS1xsNpxntWP9v1Z/q+viI=;
+ b=k6y8OcyCPK/qh9cYlp9KRNdts/RRaARqQodYZfy3MEj8EcRkVETaN9O3Wh8CTV8QxHBnIK0HXjRMCKy5sZV9tf2M6jTNuLrbAs7foVRSFsxHzHd8lGZbc/yzyfvVsi5ed/N6eLYxqa5ViSZOP7WXJgP7yChql7ObFogq1xqS5bE=;
+Received: from mail-lj1-f173.google.com ([209.85.208.173])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jYLc5-0004nT-HL
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 03:29:49 +0000
+Received: by mail-lj1-f173.google.com with SMTP id g4so11935864ljl.2
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 11 May 2020 20:29:34 -0700 (PDT)
+X-Gm-Message-State: AOAM5305DGS+iTuP2wnC5HoHValCXgfXZcPzpdGFYvtMlly1CvQ3QHwh
+ QWSWnpdZWP6vJkGRJDRglYeNkvBVYuebHAydfBA=
+X-Google-Smtp-Source: ABdhPJwgBTbbEjaFmJqy18T6Ud0GzNvMkKoLDOuMdRwTVOZTfngBFu/e5yAO4cwDepuLY4FVf3S0XQBSxodPtkKgYB8=
+X-Received: by 2002:a2e:8056:: with SMTP id p22mr12431246ljg.266.1589254168515;
+ Mon, 11 May 2020 20:29:28 -0700 (PDT)
+MIME-Version: 1.0
+Received: by 2002:ab3:1783:0:0:0:0:0 with HTTP; Mon, 11 May 2020 20:29:27
+ -0700 (PDT)
+In-Reply-To: <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
+References: <CAPweEDz=1aP9iekH_-e4r9yBXAquAYUBw0yyupQ98dP29ps_KQ@mail.gmail.com>
+ <CAPweEDzZHD_NzaWLQ9vuMa2N7iA5=EanYqxpDp1h+WyM7+j2VQ@mail.gmail.com>
+ <D96DDBD2-461A-4CB9-B536-CC7434B97CA3@gatech.edu>
+ <CAPweEDx7Ou_0panOQEW+58RgdqSq7_dKhXQvV3D-aGCghEgm9w@mail.gmail.com>
+ <CAPweEDz-35t6vK=-NX2QtQqZ3bJjP3f=5bmdick_45X2K0bF4A@mail.gmail.com>
+ <3079D5F2-F773-47BE-AD3E-DEE1377FED17@gatech.edu>
+ <CAPweEDxHxc4ZWuQtEnY1EQqdRHuXAqgVXpLxqWRewXJdrPpcwA@mail.gmail.com>
+ <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Tue, 12 May 2020 04:29:27 +0100
+X-Gmail-Original-Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
+Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+X-Content-Filtered-By: Mailman/MimeDel 2.1.23
+Subject: Re: [libre-riscv-dev] Power memory fences and icache handling
+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>
+
+T24gVHVlc2RheSwgTWF5IDEyLCAyMDIwLCBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBn
+bWFpbC5jb20+IHdyb3RlOgoKPiBPbiBNb24sIE1heSAxMSwgMjAyMCwgMTc6NTQgTHVrZSBLZW5u
+ZXRoIENhc3NvbiBMZWlnaHRvbiA8bGtjbEBsa2NsLm5ldD4KPiB3cm90ZToKPgo+ID4gT24gVHVl
+c2RheSwgTWF5IDEyLCAyMDIwLCBZZWhvd3NodWEgPHlpbW1hbnVlbDNAZ2F0ZWNoLmVkdT4gd3Jv
+dGU6Cj4gPgo+ID4gPiA+IGRjYWNoZToKPiA+ID4gPiBodHRwczovL2dpdGh1Yi5jb20vcGF1bHVz
+bWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGwgPAo+ID4gPiBodHRwczovL2dpdGh1
+Yi5jb20vcGF1bHVzbWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGw+Cj4gPiA+ID4K
+PiA+ID4gPiBpY2FjaGU6Cj4gPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3BhdWx1c21hY2svbWlj
+cm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsIDwKPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3Bh
+dWx1c21hY2svbWljcm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsPgo+ID4gPgo+ID4gPgo+ID4g
+PiBJIHdhcyBhY3R1YWxseSB0YWxraW5nIHRvIE1pY2hhZWwgYWJvdXQgdGhhdCB0aGUgb3RoZXIg
+ZGF5Lgo+ID4gPgo+ID4gPiBJZiB5b3UgaGF2ZSBhbiBpbnN0cnVjdGlvbiB0aGF0IGRvZXMgYSBz
+dG9yZSB0byBhIGxvY2F0aW9uIGluIHRoZQo+IGljYWNoZSwKPiA+Cj4gPgo+ID4gdGhhdCBpcyBw
+cm9oaWJpdGVkIGJ5IGRlc2lnbi4KPiA+Cj4KPiBJZiB5b3UncmUgdHJ5aW5nIHRvIHJ1biBhIHN0
+YW5kYXJkIExpbnV4IE9TLCB3cml0aW5nIHRvIG1lbW9yeSB0aGF0IGNvdWxkCj4gYmUgaW4gdGhl
+IGljYWNoZSBpcyByZXF1aXJlZCwgdGhhdCdzIGhvdyB0aGUgZHluYW1pYyBsaW5rZXIgd29ya3Mu
+CgoKbXkgdW5kZXJzdGFiZGluZyBvZiB0aGlzIGlzIHRoYXQgd3JpdGluZyB0byBtZW1vcnkgYXMg
+YSBkYXRhIHBhZ2UsIHRoZW4KZmx1c2hpbmcgaXQgYW5kIHJlbG9hZGluZyBpdCBpbnRvIHRoZSBp
+Y2FjaGUsIGlzIGEgd29ya2Fyb3VuZC4KCgo+IEFkZGl0aW9uYWxseSwgbG9hZGluZyBjb2RlIGZy
+b20gZGlzayAoZS5nLiB0aGUgZXhlYygpIGNhbGwpIG9yIEpJVAo+IGNvbXBpbGF0aW9uIGFsc28g
+cmVxdWlyZXMgd3JpdGluZyB0byBtZW1vcnkgdGhlbiBleGVjdXRpbmcgaXQuIEluIGFsbCBvZgo+
+IHRob3NlIGNhc2VzIG9uZSBvciBtb3JlIGljYWNoZSBpbnZhbGlkYXRlIGFuZCB0aGVuIGFuIGlz
+eW5jIGluc3RydWN0aW9uIChvcgo+IG90aGVyIGNvbnRleHQgc3luY2hyb25pemluZyBpbnN0cnVj
+dGlvbikgYXJlIHJ1biBiZWZvcmUgcnVubmluZyB0aGUKPiBtb2RpZmllZCBjb2RlLgoKCnRoYXQg
+d291bGQuLi4gb2sgaWYgdGhlIGljYWNoZSBpcyBlbnRpcmVseSBpbnZhbGlkYXRlZCBmb2xsb3dp
+bmcgYSB3cml0ZQp0aHJvdWdoIHRoZSBkY2FjaGUsIGl0IHdvdWxkIGxvYWQgIHRoZSBtb2RpZmll
+ZCBleGVjdXRhYmxlCgoKPgo+IE5vdGU6IGl0IHR1cm5zIG91dCB0aGF0IGlzeW5jIGRvZXNuJ3Qg
+ZG8gYW55IGljYWNoZSBmbHVzaGluZyB3aXRob3V0Cj4gYWRkaXRpb25hbCBpY2FjaGUgaW52YWxp
+ZGF0ZSBpbnN0cnVjdGlvbnMsIHNvIGl0J3Mgbm90IHF1aXRlIGFzIGV4cGVuc2l2ZQo+IGFzIEkg
+aGFkIG9yaWdpbmFsbHkgdGhvdWdodCBmb3IgUG93ZXIgYXRvbWljcywgaG93ZXZlciwgaXQgc3Rp
+bGwgcmVzdGFydHMKPiBmZXRjaGluZyBhbmQgZGVjb2RpbmcgaW5zdHJ1Y3Rpb25zLCBzbyBpcyBz
+dGlsbCBtb3JlIGV4cGVuc2l2ZSB0aGFuCj4gbmVjZXNzYXJ5IGZvciBqdXN0IHVzaW5nIGl0IGFz
+IGFuIGF0b21pYyBmZW5jZS4KCgpobW1tCgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29u
+c2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRl
+diBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRw
+Oi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2
+Cg==
+