--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Tue, 31 Mar 2020 11:04:44 +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 1jJDlD-0004fz-1N; Tue, 31 Mar 2020 11:04:43 +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 1jJDlA-0004ft-TE
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 31 Mar 2020 11:04:40 +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=D6AIYZlIGm6wJppdcscx6Zq7JTS/XQarn4/Mlunv58k=;
+ b=YyMIaDJkd3NV0lHBt0aGNBy+IlTJECSo0mI1sBoYXgaOhLU1mxWk8r8RY036dBIGYkOzpqOpAh/tt64jVxhBGfj53M5GH0maMD9pwykyaUNDrZ9UyL6YuRDyBHuwTFeMu8GU4Ht/2HtHIdR0JVNdn+84CFvp4OSle1k6hlZKU0E=;
+Received: from mail-lj1-f169.google.com ([209.85.208.169])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jJDlA-0002a9-Je
+ for libre-riscv-dev@lists.libre-riscv.org; Tue, 31 Mar 2020 10:04:40 +0000
+Received: by mail-lj1-f169.google.com with SMTP id w1so21304622ljh.5
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Tue, 31 Mar 2020 03:04:25 -0700 (PDT)
+X-Gm-Message-State: AGi0PuY0P3Bt3YnGbr/kbaLuBB4cJ2+TH9oMsQQe5vDUGnnfdnWbK+Ev
+ z1j9Zn6hH5T7Ywn2109NF/35ynqWpiEelKkmlcM=
+X-Google-Smtp-Source: APiQypKeMYXRLhihpOuqmTELm2oh+X4q5NtmZpglV27PX5AlTqFUKMQ9u5glDeoIMGR7SFAH8uJegXdgDb+ElgyrUMs=
+X-Received: by 2002:a2e:b5bc:: with SMTP id f28mr4244564ljn.191.1585649059834;
+ Tue, 31 Mar 2020 03:04:19 -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>
+In-Reply-To: <CAC2bXD6q-ymob=HLewuKh5M+L1QdmmXSwnF-FX0CF+mru5G9Cw@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Tue, 31 Mar 2020 10:04:08 +0000
+X-Gmail-Original-Message-ID: <CAPweEDyijsVrD5oRYzWn8PmL0=cHnsny=rRXoR8O7Uzri94ZVw@mail.gmail.com>
+Message-ID: <CAPweEDyijsVrD5oRYzWn8PmL0=cHnsny=rRXoR8O7Uzri94ZVw@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>
+
+T24gVHVlLCBNYXIgMzEsIDIwMjAgYXQgNjoyMCBBTSBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVy
+amFrZUBnbWFpbC5jb20+IHdyb3RlOgo+Cj4gT24gTW9uLCBNYXIgMzAsIDIwMjAsIDIxOjMxIElt
+bWFudWVsLCBZZWhvd3NodWEgVSA8eWltbWFudWVsM0BnYXRlY2guZWR1Pgo+IHdyb3RlOgo+Cj4g
+PiBUcnkgdGhpczoKPiA+Cj4gPiBodHRwOi8vaW5ib3gubGlicmUtcmlzY3Yub3JnL2xpYnJlLXJp
+c2N2LWRldi8KPgo+Cj4gYm90aCBhY2Nlc3NpbmcgdXNpbmcgYSB3ZWIgYnJvd3NlciBhbmQgZ2l0
+IGZhaWwgd2l0aCA1MDIuCgplcnIuLi4gYXJlIHlvdSBhYmxlIHRvIGdldCB0bzogaHR0cHM6Ly9n
+aXQubGlicmUtcmlzY3Yub3JnLwoKYW5kIGlmIHNvLCB0aGUgbGlzdCBpcyByaWdodCB0aGVyZSwg
+YXMgb25lIG9mIHRoZSByZXBvc2l0b3JpZXMuCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJy
+ZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNj
+di5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+