# Welcome to Libre-SoC ([provisionally renamed](http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-January/003580.html) from Libre-RISCV)!
+## Why a Libre SOC?
Its quite hard to guarantee that a performant processors(think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com):
Such a processor is referred to as a Libre processor. However, processors themselves are only a part of the picture. Nowadays, most contemporary computing tasks involve intelligence, media consumption, wireless connectivity, etc.
+## What we Do
LibreSOC strives to deliver a fully capable and competitive Libre integrated System on Chip. We want to maximize the degree of trust a customer can place in his or her processor. We do this by providing the customer the freedom to study, modify, and redistribute the processor source from HDL to VLSI.
Right now, we're targeting an (quad core, 800mhz, dual issue, GPU, VPU, [and later an ML inference core] ) SOC.
+## Still Got Questions?
+Read about the business and practical benefits of a LibreSOC below.
+[[why_a_libresoc]]
+
# Wiki Structure
This is a publicly editable wiki.
----
-# Why a Libre SOC?
-Glad you asked! Read about the business and practical benefits of a LibreSOC below.
-
-[[why_a_libresoc]]
-
# Contact
The main contact point is the