(no commit message)

diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn
index 29cdb0c61316fa908c095e1f57d3461f40bb8f28..069f43176b5c5b800b9703e4f5ea744d35eb92c9 100644 (file)
--- 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).