--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Sat, 16 May 2020 18:40:39 +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 1ja0nf-0003fO-3A; Sat, 16 May 2020 18:40:39 +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 1ja0nd-0003fI-Ba
+ for libre-riscv-dev@lists.libre-riscv.org; Sat, 16 May 2020 18:40:37 +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:References:In-Reply-To:MIME-Version;
+ bh=sMTjo7sai3kISqfbwwns4jtkOIh/T+rpHmvH/UJ8AmY=;
+ b=CW3KNj+xt3jwU9wzVAtDYuJ1mjW9qqgJMKElckhqiIMJAZ1qm+ioUpjp8Mmwag50gxdDAB8yipuy1bl5XuXZ4h+viM/8s/DdRkYd1Z8JwhraZBSwXVlHqO4BtzlnGlboMl7u+AE4AboSIEd6t8t3cCX7hdcf67im8TiUHzdeUYc=;
+Received: from mail-lj1-f170.google.com ([209.85.208.170])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1ja0nd-0007PF-0w
+ for libre-riscv-dev@lists.libre-riscv.org; Sat, 16 May 2020 17:40:37 +0000
+Received: by mail-lj1-f170.google.com with SMTP id e25so5560949ljg.5
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Sat, 16 May 2020 10:40:21 -0700 (PDT)
+X-Gm-Message-State: AOAM533/ZwWzVyw5wsXWq8zVPi3S8iqVW2NajqxUNUsMnisrqjMk1rn1
+ BQAaZ4EaErirVCm5b6KJTY6UGM1rk/0eGvDyF34=
+X-Google-Smtp-Source: ABdhPJxPaM+0VZTnaonHN7qOFOFfZY9feH4PdyCM/i92urTeilOEqdk8PCLSmP/V2VUVKKJnn1YMvj7CkyL9/WwLCZo=
+X-Received: by 2002:a2e:2245:: with SMTP id i66mr5831543lji.191.1589650816095;
+ Sat, 16 May 2020 10:40:16 -0700 (PDT)
+MIME-Version: 1.0
+Received: by 2002:a05:6504:31aa:0:0:0:0 with HTTP; Sat, 16 May 2020 10:40:15
+ -0700 (PDT)
+In-Reply-To: <E22D6C66-7663-410C-9AAD-6FECAAD95E36@gatech.edu>
+References: <16F915EC-9270-4A28-80E0-0D36029AC6A1@gatech.edu>
+ <CAPweEDxsrKHFyoyTC1mem4Z2GJZR5P4YmsMRaKwbXdnKfNX3jQ@mail.gmail.com>
+ <E22D6C66-7663-410C-9AAD-6FECAAD95E36@gatech.edu>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Sat, 16 May 2020 18:40:15 +0100
+X-Gmail-Original-Message-ID: <CAPweEDwUgOJzW-QGBxC2xz5w73c=cncmTY1qTAWd2ANyOnQ-4Q@mail.gmail.com>
+Message-ID: <CAPweEDwUgOJzW-QGBxC2xz5w73c=cncmTY1qTAWd2ANyOnQ-4Q@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+X-Content-Filtered-By: Mailman/MimeDel 2.1.23
+Subject: Re: [libre-riscv-dev] Priority Encoder
+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>
+
+T24gU2F0dXJkYXksIE1heSAxNiwgMjAyMCwgWWVob3dzaHVhIDx5aW1tYW51ZWwzQGdhdGVjaC5l
+ZHU+IHdyb3RlOgoKPiBBaC4gVGhhbmtzLgoKCm5taWdlbiBFbmNvZGVyICh1bmFyeSBvbmVob3Qg
+dG8gYmluYXJ5KSBhbmQgRGVjb2RlciAoYmluYXJ5IHRvIHVuYXJ5Cm9uZWhvdCkgYmFjayB0byBi
+YWNrIGlzIGNhbGxlZCBhIFByaW9yaXR5UGlja2VyLgoKZG8gaXQgZXhhY3RseSBsaWtlIHRoYXQg
+YW5kIHlvdSBlbmQgdXAgd2l0aCBzaWduaWZpY2FudGx5IHN1Ym9wdGltYWwgb3V0cHV0CmZyb20g
+eW9zeXMgZHVlIHRvIHRoZSB1c2Ugb2YgYW4gdW5uZWNlc3NhcnkgcG11eCwgY3JlYXRlZCBieSB0
+aGUgdXNlIG9mIGFuCkVuY29kZXIsIHRoYXQgeW9zeXMgY2Fubm90IGluIGFueSB3YXkgb3B0aW1p
+c2Ugb3V0LCBldmVuIGlmIHlvdSBmbGF0dGVuIHRoZQp0d28gbW9kdWxlcy4KCnRoaXMgaXMgd2h5
+IG5tdXRpbCBQcmlvcml0eVBpY2tlciBleGlzdHMgKmFuZCBpcyBub3QgYmFzZWQgb24gRW5jb2Rl
+ciBvcgpEZWNvZGVyKi4KCnlvc3lzIGRvZXMgYSBmYW50YXN0aWMgam9iIG9mIGZsYXR0ZW5pbmcg
+bm11dGlsIFByaW9yaXR5UGlja2VyIGRvd24gdG8gb25seQphIDMgZ2F0ZSBwYXRoLCBldmVuIGZv
+ciBhcyBoaWdoIGFzIDE2IGlucHV0cy1vdXRwdXRzLgoKdGhpcyBpcyBvbiBhIHBhciB3aXRoIHRo
+ZSBraW5kIG9mIGdhdGUgbGV2ZWwgb3B0aW1pc2F0aW9uIHRoYXQgTWl0Y2ggQWxzdXAKY2Fycmll
+cyBvdXQgaW4gaGlzIGRlc2lnbnMuCgp5ZXMsIHRoZXJlIHdhcyBhIGRpc2N1c3Npb24gYWJvdXQg
+dGhhdCBvbiBjb21wLmFyY2ggYSBjb3VwbGUgbW9udGhzIGFnby4KCmwuCgoKCi0tIAotLS0KY3Jv
+d2QtZnVuZGVkIGVjby1jb25zY2lvdXMgaGFyZHdhcmU6IGh0dHBzOi8vd3d3LmNyb3dkc3VwcGx5
+LmNvbS9lb21hNjgKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
+X18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGli
+cmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5m
+by9saWJyZS1yaXNjdi1kZXYK
+