(no commit message)

diff --git a/nlnet_2022_ongoing/discussion.mdwn b/nlnet_2022_ongoing/discussion.mdwn
index 41dbc0b14ff65ae459bb9e1795a592e061bceeb3..8efa5d7588334c02e4cf8af698923fcbf43627d0 100644 (file)
--- 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!