From: yimmanuel3@f4ac60d763911c3fa518755176e4b9ed455c75d8 <yimmanuel3@web>
Date: Mon, 6 Apr 2020 22:44:31 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2913
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5551fb3623f86b4d13d3e9913b7a8fa341d67309;p=libreriscv.git

---

diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn
index 29cdb0c61..069f43176 100644
--- a/why_a_libresoc.mdwn
+++ b/why_a_libresoc.mdwn
@@ -1,5 +1,11 @@
 # Why a Libre-SOC?
 
+## TLDR
+
+We believe a computer should be safe to use, and this starts with a safe processor.
+
+## The Lengthier Explanation...
+
 Its quite hard to guarantee that performant processors (think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com).
 
 There are entire [dissertations](http://www.kroening.com/diss/diss-kroe.pdf) dedicated to the subject matter of merely functionally verifying a pipeline (this doesn’t even consider out of order execution).