From 40ed48f84056e54802ce98a8049eb8833dfbd4c3 Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 5 Oct 2022 17:36:53 +0100 Subject: [PATCH] --- nlnet_2022_ongoing/discussion.mdwn | 8 ++++++++ 1 file changed, 8 insertions(+) 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! -- 2.30.2