--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 15 Jun 2020 22:04:44 +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 1jkwHb-0007D9-NP; Mon, 15 Jun 2020 22:04:43 +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 1jkwHa-0007D3-Ez
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 15 Jun 2020 22:04:42 +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=tcr0DoPQVK4qW9aBzZHvfzy//hpI6UToeGFu/GmB6OE=;
+ b=EEweRihZ34GMCu4o6pnIw3sE/iylaaFNZAc/C5El4P3QPMxvaq3tY1LGiPRclcldSFD8Nl7bg8yQvFf4L6R7tkwS6vHUF7422QSzOrhop219nqMxwy33FqgOeYBCIJNZyy0hj650jIgieWYSxvIVWPgF26d5X27nXIApzTsqR4c=;
+Received: from mail-lj1-f178.google.com ([209.85.208.178])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jkwHa-0000Yo-1Y
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 15 Jun 2020 21:04:42 +0000
+Received: by mail-lj1-f178.google.com with SMTP id i27so20880045ljb.12
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 15 Jun 2020 14:04:26 -0700 (PDT)
+X-Gm-Message-State: AOAM532FK0L63mmtibZjV5d0Gyl+KPS2r1wtKl/20fW8alxbTIZug0qI
+ Bo6IMu1or1rZa1Ed4nMHrK6TWkewIHppUsoghN4=
+X-Google-Smtp-Source: ABdhPJziNbWF00g1/ZaDRRR7nJsXXKJ0rz559FTZRlA3u7w+A4SHZpGHvjLKBfpSXjOstTCFMhtwbxiQW6X43rT2WpE=
+X-Received: by 2002:a2e:6c17:: with SMTP id h23mr14430039ljc.48.1592255061204;
+ Mon, 15 Jun 2020 14:04:21 -0700 (PDT)
+MIME-Version: 1.0
+References: <CAPweEDwvfxDLw1LYkOfYQTXhTJO7BFaH1DcmZxDQs-xUz2cfjg@mail.gmail.com>
+ <B53F08B2-212D-43DF-9717-D230D39B4EF5@getmailspring.com>
+In-Reply-To: <B53F08B2-212D-43DF-9717-D230D39B4EF5@getmailspring.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Mon, 15 Jun 2020 22:04:09 +0100
+X-Gmail-Original-Message-ID: <CAPweEDxnQSfDz92PDPepq63mVWG06kTqeJ7ZLe8_0XAKePsAYg@mail.gmail.com>
+Message-ID: <CAPweEDxnQSfDz92PDPepq63mVWG06kTqeJ7ZLe8_0XAKePsAYg@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] Introduction
+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>
+
+T24gTW9uLCBKdW4gMTUsIDIwMjAgYXQgOTo1NSBQTSBDb2xlIFBvaXJpZXIgPGNvbGVwb2lyaWVy
+QGdtYWlsLmNvbT4gd3JvdGU6Cgo+IERvbid0IHdvcnJ5IEx1a2UsIEkgc2V0IHVwIGhlciBkZXZl
+bG9wbWVudCBtYWNoaW5lLCBydW5uaW5nIG5hdGl2ZQo+IGRlYmlhbiAxMC4zIG9uIGJhcmUtbWV0
+YWwsIGxpa2UgbWluZSwgd2hlbiBJIHNldCB1cCBteSBvd24uCgpzdGFhYWFyLiAgd2hldy4KCk9u
+IE1vbiwgSnVuIDE1LCAyMDIwIGF0IDk6NTggUE0gWWVob3dzaHVhIDx5aW1tYW51ZWwzQGdhdGVj
+aC5lZHU+IHdyb3RlOgo+Cj4KPiA+IGFoLiAgcmlnaHQuICBva2F5LiAgd2UncmUgbm90IHN1cHBv
+cnRpbmcgbWFjcywgYW5kIHdlJ3JlIG5vdCBnb2luZyB0bwo+ID4gZG8gZGV2ZWxvcG1lbnQgb24g
+bWFjcy4gIHRoZXJlIGFyZSB0d28gYXNwZWN0cyB0byB0aGlzOgo+Cj4gRGFuZy4gSeKAmXZlIGJl
+ZW4gdXNpbmcgYSBNYWMgdGhpcyB3aG9sZSB0aW1lLgoKaXQgX2lzXyBpbiB0aGUgSERMIHdvcmtm
+bG93LgoKPiBOb3QgcmVhbGx5IGtlZW4gdG8gc3dpdGNoIHVubGVzcyBJIGhhdmUgdG8gZG8gQ29y
+aW9saXMgc3R1ZmYuCgppIGtub3cgLSBob3dldmVyIHRoaW5rIGl0IHRocm91Z2guICBpdCdzIG5v
+dCB0aGUgc2FtZSBzb2Z0d2FyZS4gIHRoZXJlCmNvdWxkIGJlIGNvbXBpbGF0aW9uLWxldmVsIGJ1
+Z3MgaW50cm9kdWNlZCBieSBkaWZmZXJlbnQgY29tcGlsZS10aW1lCnN3aXRjaGVzIGFjdHVhbGx5
+IGluIC91c3IvYmluL3B5dGhvbiwgZHVlIHRvIGEgZGlmZmVyZW50IGdjYyBjb21waWxlci4KCnRo
+aXMgY291bGQgcmVzdWx0IGluIHNvbWV0aGluZyBpbmNyZWRpYmx5IGltcG9ydGFudCBiZWluZyBt
+aXNzZWQsIGFuZAp3ZSBoYXZlIHRvIGJlY29tZSBPUyBkZWJ1Z2dpbmcgZXhwZXJ0cyB0byBmaW5k
+IG91dCB3aHkuCgpqYWNvYiBhbmQgaSBleHBlcmltZW50ZWQgd2l0aCBweXB5MyBhYm91dCAxOCBt
+b250aHMuICBpdCBkaWRuJ3QgZ28Kd2VsbCA6KSAgYWx0aG91Z2ggdGhlIHRlc3RzIHRoYXQgZGlk
+IHJ1biwgdGhleSBkaWQgcnVuIGZhc3RlciwgaXQncwpqdXN0Li4uIGl0J3MgZmFyIHRvbyByaXNr
+eS4KCmlmIHdlIHdlcmUgZG9pbmcgc29tZXRoaW5nIHRoYXQgd2FzIGEgR1VJIGFwcCwgZm9yIHNv
+bWUgIm9wZW4iCnByb2plY3QsIHRoZXJlIHdvdWxkIGJlIG5vIHByb2JsZW0gLSBub3QgbGVhc3Qg
+YmVjYXVzZSB5b3UgaGF2ZSB0byBnZXQKdGhlIEdVSSBhcHAgd29ya2luZyBmb3IgTWFjcyBhbnl3
+YXkuCgpidXQgdGhpcz8gIHRoaXMgaXMgKmxpdGVyYWxseSogVVNEIDEwMCBtaWxsaW9uIHRlcnJp
+dG9yeSwgYW5kIHVzaW5nIGEKInBlcnNvbmFsIHByZWZlcnJlZCBPUyIgaXMganVzdC4uLiB5b3Ug
+anVzdCBkb24ndCBkbyB0aGF0LiAgc29ycnkhCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJy
+ZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNj
+di5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+