From: lkcl <lkcl@web>
Date: Wed, 5 Oct 2022 16:36:53 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~150
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40ed48f84056e54802ce98a8049eb8833dfbd4c3;p=libreriscv.git

---

diff --git a/nlnet_2022_ongoing/discussion.mdwn b/nlnet_2022_ongoing/discussion.mdwn
index 41dbc0b14..8efa5d758 100644
--- a/nlnet_2022_ongoing/discussion.mdwn
+++ b/nlnet_2022_ongoing/discussion.mdwn
@@ -61,4 +61,12 @@ The concrete outcomes:
   Proofs using modern FOSSHW tools is a big deal in its own right. The only
   other Libre Formal Proof is for an older version of IEEE754, we will
   target 2008 and 2019 semantics.
+* An actual "on-the-ground" realisation of Simple-V in a useable Core, whereas at
+  present it is Simulations only and the cavatools Cycle-accurate Simulator
+  (2021-08-071) is not quite the same thing (userspace binaries only in cavatools,
+  no Virtual Memory, for a start).  SMP Support in particular would be strategically
+  very valuable to have, it greatly expands the commercial viability.
+* A lot larger "eat own dogfood" hosting solution, the NGI POINTER Grant paid for
+  an IBM POWER9 Server which lends us credibility but it needs to be put to
+  good use!