Ignore formal verification output in the source directory
[soc.git] / README.md
1 # About
2 The main SOC portion of Libre-SOC. A quad-core open source SOC with a GPU, VPU, and
3 open source VLSI design cells.
4
5 Open source down to VLSI Cells.
6
7 # [Documentation](https://libre-soc.org/Documentation/index/)
8
9 # Installation
10
11 make update
12 make install
13 make test # optional (ish)
14
15 # Running Simulator tests
16
17 qemu and gdb for Power 64 are required. qemu can be installed with
18 "apt-get install qemu-system-ppc64", however gdb needs compiling from
19 source. Obtain the latest tarball, unpack it, then:
20
21 cd gdb-9.1 (or other location)
22 mkdir build
23 cd build
24 ../configure --srcdir=.. --host=x86_64-linux --target=powerpc64-linux-gnu
25 make -j16
26 make install
27
28 You will need to have installed the powerpc gnu gcc cross-compiler for
29 this to work:
30
31 apt-get install gcc-9-powerpc64-linux-gnu
32