--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Thu, 07 May 2020 20:03:05 +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 1jWlnU-0002hi-Uz; Thu, 07 May 2020 20:03:04 +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 1jWlnS-0002hY-SS
+ for libre-riscv-dev@lists.libre-riscv.org; Thu, 07 May 2020 20:03:02 +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=7e2m1wfryJ5eRI+40Thd6Vm5F90ntkUfp8vsgDVE13Q=;
+ b=nGavidKJOV7eHKDgYiPAqfLj8NwKaFN3UnlbCfPaTjH2YHYCEVKZJZCDuhA3EloYn45/ir4te7VsFzYxVvWNx5L6FbIcur5tF5vidYYGBKKnMmeeW7gYUgOMUWvqST/1VKUhr9VQanjO4zcZ4qqWsrvdQ+elPwSVZmw0jy+Q4gA=;
+Received: from mail-lj1-f174.google.com ([209.85.208.174])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jWlnS-0004lJ-Cr
+ for libre-riscv-dev@lists.libre-riscv.org; Thu, 07 May 2020 19:03:02 +0000
+Received: by mail-lj1-f174.google.com with SMTP id l19so982688lje.10
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Thu, 07 May 2020 12:02:47 -0700 (PDT)
+X-Gm-Message-State: AGi0PuYBWoGOY8uk3tSvxY6MBEZi/L9ewJydCkCriNyL2Ew1L0IZ1RUl
+ XaLPpqlFJFkJ/wjtWtPd4GHMma7M5A+OB9oPXOc=
+X-Google-Smtp-Source: APiQypJCvzbE7sGwCnaYyp3SbrbgNvJ+ZcIi5UyKLiLXXgvGmeI6o1n2uc762yZ7PdKm8VxovipR+e6EBe21iZpATD8=
+X-Received: by 2002:a2e:9882:: with SMTP id b2mr9537983ljj.35.1588878161546;
+ Thu, 07 May 2020 12:02:41 -0700 (PDT)
+MIME-Version: 1.0
+References: <EDCC7F2A-1F18-4603-9423-666FCFF4C7FB@gatech.edu>
+ <CAPweEDwckA0jHpfKSy75MRbL6qGX2sc=MGt-PKQMy7nUZDkkqQ@mail.gmail.com>
+ <92D0A28A-A5D7-4389-8C58-19F217A618E3@gatech.edu>
+ <20200507205411.809af7c024d65954ce093d1b@platen-software.de>
+In-Reply-To: <20200507205411.809af7c024d65954ce093d1b@platen-software.de>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Thu, 7 May 2020 20:02:30 +0100
+X-Gmail-Original-Message-ID: <CAPweEDyu-P1ucg8X2bcGix5obOrWtMHH7tbvJx7nFDKeGcDOCQ@mail.gmail.com>
+Message-ID: <CAPweEDyu-P1ucg8X2bcGix5obOrWtMHH7tbvJx7nFDKeGcDOCQ@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] 4 Simulators?
+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>
+
+T24gVGh1LCBNYXkgNywgMjAyMCBhdCA3OjU0IFBNIFRvYmlhcyBQbGF0ZW4KPGxpYnJlLXNvY0Bw
+bGF0ZW4tc29mdHdhcmUuZGU+IHdyb3RlOgoKPiBZZXMgSSB3YXMgd29ya2luZyBvbiB0aGUgUHl0
+aG9uIFNpbXVsYXRvciwKCnRoZSBkaXNjdXNzaW9ucyBpbiB0aGUgYnVndHJhY2tlciBjZW50ZXIg
+YXJvdW5kIHRoZSBhdXRvLWdlbmVyYXRlZApvbmUuICBpIGFwcHJlY2lhdGUgdGhhdCB0aGVyZSBp
+cyBhIGxvdCBnb2luZyBvbi4KCj4gYW5kIEkgd2FzIGFsc28gbG9va2luZyBpbnRvIHRoZSBzb3Vy
+Y2Vjb2RlIG9mIHRoZSBEb2xwaGluIGVtdWxhdG9yLgoKaHR0cHM6Ly9naXRodWIuY29tL2RvbHBo
+aW4tZW11L2RvbHBoaW4vYmxvYi9tYXN0ZXIvU291cmNlL0NvcmUvQ29yZS9Qb3dlclBDL0ludGVy
+cHJldGVyL0ludGVycHJldGVyX0ludGVnZXIuY3BwCgppbnRlcmVzdGluZy4gIHRoaXMgY29kZSAq
+bWlnaHQqIGJlIGEgYmV0dGVyIHN0YXJ0aW5nIHBvaW50IGZvciBTVgphdWdtZW50YXRpb24gdGhh
+biBwZWFycGMsIGJlY2F1c2UgYysrIHByb3ZpZGVzIHRoZSBtZWFucyB0byBkbwpvcGVyYXRvci1v
+dmVybG9hZHMgKGFuZCB0ZW1wbGF0ZXMpLgoKYnR3IGRvIG5vdCB3YXN0ZSB0aW1lIGxvb2tpbmcg
+YXQgdGhlIEpJVCB2ZXJzaW9uLiAgd2UgYWJzb2x1dGVseSBkbwpub3QgbmVlZCBhIEpJVCBpbnRl
+cnByZXRlZCBlbXVsYXRvci4gIHdlIG5lZWQgYSAqY3ljbGUgYWNjdXJhdGUqCmVtdWxhdG9yLgoK
+bC4KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJl
+LXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2
+Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUt
+cmlzY3YtZGV2Cg==
+