Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / README.md

diff --git a/README.md b/README.md
index c7c6c9963287d1af76ffe68103f2b3dae250b7ad..a298790ed4cc771fd8df233f595ef5957573c909 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,14 +1,20 @@
 # About
-The main SOC portion of Libre-SOC. A quad-core open source SOC with a GPU, VPU, and
-open source VLSI design cells.
 
-Open source down to VLSI Cells.
+The main SOC portion of Libre-SOC. A quad-core Libre-licensed SoC woth a 
+hybrid 3D GPU-VPU-CPU, and using Libre-licensed design cells.
 
-# [Documentation](https://libre-soc.org/Documentation/index/)
+Libre-SOC is Libre down to the VLSI Cells, thanks to Chips4Makers FlexLib
+and Sorbonne University lip6.fr
+
+# Documentation
+
+See https://libre-soc.org/docs/
 
 # Installation
 
-    make update
+Best done using the dev-env-setup scripts:
+https://git.libre-soc.org/?p=dev-env-setup.git;a=summary
+
     make install
     make test # optional (ish)
 
@@ -16,17 +22,6 @@ Open source down to VLSI Cells.
 
 qemu and gdb for Power 64 are required.  qemu can be installed with
 "apt-get install qemu-system-ppc64", however gdb needs compiling from
-source.  Obtain the latest tarball, unpack it, then:
-
-    cd gdb-9.1 (or other location)
-    mkdir build
-    cd build
-     ../configure --srcdir=.. --host=x86_64-linux --target=powerpc64-linux-gnu
-    make -j16
-    make install
-
-You will need to have installed the powerpc gnu gcc cross-compiler for
-this to work:
-
-    apt-get install gcc-9-powerpc64-linux-gnu
+source.  The simplest way is to use this dev-env-script:
 
+https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=ppc64-gdb-gcc;hb=HEAD