--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Thu, 19 Nov 2020 09:48:23 +0000
+Received: from localhost ([::1] helo=libre-soc.org)
+ by libre-soc.org with esmtp (Exim 4.92)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1kfgYA-0002CV-1M; Thu, 19 Nov 2020 09:48:22 +0000
+Received: from relay11.mail.gandi.net ([217.70.178.231])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
+ (Exim 4.92) (envelope-from <whygee@f-cpu.org>) id 1kfgY9-0002CO-0X
+ for libre-riscv-dev@lists.libre-riscv.org; Thu, 19 Nov 2020 09:48:21 +0000
+Received: from webmail.gandi.net (webmail15.sd4.0x35.net [10.200.201.15])
+ (Authenticated sender: whygee@f-cpu.org)
+ by relay11.mail.gandi.net (Postfix) with ESMTPA id 9B5D3100002
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Thu, 19 Nov 2020 09:48:20 +0000 (UTC)
+MIME-Version: 1.0
+Date: Thu, 19 Nov 2020 10:48:20 +0100
+From: whygee@f-cpu.org
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+In-Reply-To: <orwnyi1d98.fsf@lxoliva.fsfla.org>
+References: <orwnyi1d98.fsf@lxoliva.fsfla.org>
+Message-ID: <8fc955a530763baca474ea98c2a29ca3@f-cpu.org>
+X-Sender: whygee@f-cpu.org
+User-Agent: Roundcube Webmail/1.3.15
+Subject: Re: [libre-riscv-dev] Alex Oliva's intro, and RFC on mission
+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-Transfer-Encoding: base64
+Content-Type: text/plain; charset="utf-8"; Format="flowed"
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+T24gMjAyMC0xMS0xOSAwMDowMCwgQWxleGFuZHJlIE9saXZhIHdyb3RlOgo+IEhlbGxvLCB0aGVy
+ZSwKCkhlbGxvIGFuZCB3ZWxjb21lIEFsZXhhbmRyZSAhCkdsYWQgdG8ga25vdyB5b3UgaW4gdGhp
+cyBvbmUtb2YtYS1raW5kIHByb2plY3QuCldlIHNoYXJlIGEgbG90IG9mIGJlbGllZnMgYW5kIHlv
+dSBjYW4gY2VydGFpbmx5IGhlbHAuCgo+IEkgdGhvdWdodCBJJ2QgbG9uZyBtaXNzZWQgdGhpcyBi
+b2F0LCBidXQgTHVrZSB0ZWxscyBtZSBJJ20gc3RpbGwgCj4gd2VsY29tZQo+IHRvIGpvaW4sIHNv
+LCBoZXJlIEkgYW0sIHZlcnkgZXhjaXRlZCBhdCB0aGF0IDotKQoKSXQncyBub3QgdG9vIGxhdGUs
+IG9uIHRoZSBjb250cmFyeSAhCgo+IFRoYW5rcywKVGFrZSB5b3UgdGltZSB0byBkaWcgaW50byB0
+aGUgcHJvamVjdCBhbmQgZmluZCB3aGVyZSB5b3VyIHNraWxscwp3aWxsIGJlIG1vc3QgaGVscGZ1
+bC4KCnlnCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwps
+aWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1y
+aXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xp
+YnJlLXJpc2N2LWRldgo=
+