--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Tue, 31 Mar 2020 16:50:11 +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 1jJJ9X-0008K9-3R; Tue, 31 Mar 2020 16:50:11 +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 1jJJ9V-0008K3-2h
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 31 Mar 2020 16:50:09 +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=iPFnIeXg8IftqYus0dhT0Rw4Kp+TKRAyBa7pmnVqi34=;
+ b=A6CNrr/4qAgyUZ6SR2z4FctGpTk1U5Yem6gTZtx60/UBrBcKVA91xsco0zdRtLZHVrdK5YmrJ0ZtffyCc5GRqPiKamBD0JXmdbdDsaO3tExnD2E4XNMyq4NNMQErkmy56BZpl1+bDh9DVpqy74YahqbGS/oOBfOtFWEFzT/eMlY=;
+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 1jJJ9U-0002qR-L2
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 31 Mar 2020 15:50:08 +0000
+Received: by mail-lj1-f176.google.com with SMTP id t17so22554134ljc.12
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Tue, 31 Mar 2020 08:49:53 -0700 (PDT)
+X-Gm-Message-State: AGi0PuY/QRr8TpP8gMRaK7SRdn4vXvyXy8/idsuwgr8Os1dcVilWs6qD
+ xW1RaGzUI9HT9VSJWr/LT1kSDdI5RuMDf0gd1jY=
+X-Google-Smtp-Source: APiQypJOjtqp/QiX2lbN8Ld2arPfKAduSjF9AKKnRX2F2P0QIZkraIzsQzfK2O1wTZU5v6+AcbjdOHByljLPsP2ArX8=
+X-Received: by 2002:a2e:b5bc:: with SMTP id f28mr5180751ljn.191.1585669787696;
+ Tue, 31 Mar 2020 08:49:47 -0700 (PDT)
+MIME-Version: 1.0
+References: <C4191A74-A82F-42E8-A1F1-075EF9135D33@gatech.edu>
+ <CAPweEDwLo5gGn5E8mszQEYYBPbUJXgOEQTgXX7Ru1afEpGRVBA@mail.gmail.com>
+ <4C23AC26-6ECC-478D-B93E-A6C501F5AABD@gatech.edu>
+ <829465A0-552A-44CD-AED2-81E976D2191C@gatech.edu>
+ <09F31DD2-0026-44C7-B702-6E08CE1D5B7C@gatech.edu>
+ <CAC2bXD4LzQSfX49KRdg1C3+6CGzTLU90uCyKG_0Qd5QjnBnmzA@mail.gmail.com>
+ <24159B2E-12DC-42E4-931D-B562AF92C442@gatech.edu>
+ <CAC2bXD6q-ymob=HLewuKh5M+L1QdmmXSwnF-FX0CF+mru5G9Cw@mail.gmail.com>
+ <CAPweEDyijsVrD5oRYzWn8PmL0=cHnsny=rRXoR8O7Uzri94ZVw@mail.gmail.com>
+ <CAC2bXD61UqQ1uFkWc7hWpnWg1CMgp8mU=M_n4unigSmCri26gw@mail.gmail.com>
+In-Reply-To: <CAC2bXD61UqQ1uFkWc7hWpnWg1CMgp8mU=M_n4unigSmCri26gw@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Tue, 31 Mar 2020 15:49:36 +0000
+X-Gmail-Original-Message-ID: <CAPweEDzZSyWxnoUP9QLbOCFhmcQ8HVA0x8mifE8Gwr0hc2qCgQ@mail.gmail.com>
+Message-ID: <CAPweEDzZSyWxnoUP9QLbOCFhmcQ8HVA0x8mifE8Gwr0hc2qCgQ@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] Public Inbox
+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>
+
+T24gVHVlLCBNYXIgMzEsIDIwMjAgYXQgNDozMyBQTSBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVy
+amFrZUBnbWFpbC5jb20+IHdyb3RlOgoKPiB5ZXMuCgpvayBpZiB5b3UncmUgYWJsZSB0byBnZXQg
+dG8gdGhhdCwgdGhlbiB5b3UgKndpbGwqIGJlIGFibGUgdG8gY2xpY2sgb24KdGhlIGxpbmstdGhh
+dC1pcy1vbi10aGUtZXhhY3Qtc2FtZS1zZXJ2ZXIgd2hpY2gKaGFwcGVucy10by1iZS1saXN0ZWQt
+YXMtdGhlLWdpdC1yZXBvLWZvci1wdWJsaWMtaW5ib3guCgppJ20gbm90IGdvaW5nIHRvIHBvc3Qg
+dGhhdCBsaW5rIHRvIHlvdSwgaSdtIGRlc2NyaWJpbmcgaXQgc28gdGhhdCB5b3UKYWN0dWFsbHkg
+Z28gbG9va2luZyBhdCB0aGUgcGFnZSBhbmQgY2xpY2sgb24gaXQuICB0aGlzIGxpbmU6CgoibGli
+cmUtcmlzY3YtZGV2LmdpdCBMaWJyZSBSSVNDLVYgTWFpbGluZyBsaXN0Li4uIE5vIGNvbW1pdHMg
+c3VtbWFyeSB8CnNob3J0bG9nIHwgbG9nIHwgdHJlZSIKCj4gTWF5YmUgaXQncyBteSBJUCBhZGRy
+ZXNzIHRoYXQncyBtYWtpbmcgaW5ib3gubGlicmUtcmlzY3Yub3JnIGZhaWw/Cj4gSSdsbCB0cnkg
+YWNjZXNzaW5nIGl0IHRocm91Z2ggdG9yIGZyb20gYSBmZXcgZGlmZmVyZW50IGV4aXQgbm9kZXMg
+dG8gc2VlLgoKaXQgbWF5IGJlIElQdjYgcmF0aGVyIHRoYW4gSVB2NCByZWxhdGVkLgoKaSdtIG5v
+dCBnb2luZyB0byBzcGVuZCBzb3J0aW5nIHRoaXMgb3V0IHJpZ2h0IG5vdywgYXMgaXQncyBvbmx5
+IGEgdGVzdApkb21haW4gKG5lZWRlZCB0byBmaXggKmFub3RoZXIqIHByb2JsZW0pIHBlbmRpbmcg
+bW92ZSB0byBsaWJyZS1zb2Mub3JnCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
+X19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNj
+di1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcv
+bWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+