From 7c64513c097f43c0d3a6aa7443687ec72231a56b Mon Sep 17 00:00:00 2001 From: tmeissner Date: Fri, 30 Jul 2021 11:08:24 +0200 Subject: [PATCH] Add info about risc-v toolchain to README --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 96c335d..ce0e101 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,17 @@ Based on *symbiyosys.Dockerfile* **A similar image is the [`hdlc/formal`](https://hub.docker.com/r/hdlc/formal/tags) docker image and its variants provided by the [hdl containers project](https://hdl.github.io/containers/). I recommend it because it is provided through docker hub. No need to build images by yourself.** +## riscv-gcc.Dockerfile + +Risc-V toolchain to develop programs for [NEORV32](https://github.com/stnolting/neorv32) CPU. Built for instruction set `rv32i` and ABI `ilp32`. + +**Included tools:** + +* gcc +* gdb +* ... + + ## Further Ressources * [Yosys](https://github.com/YosysHQ/yosys) @@ -37,3 +48,4 @@ Based on *symbiyosys.Dockerfile* * [CVC4](https://github.com/CVC4/CVC4) * [Boolector](https://github.com/Boolector/boolector) * [Super Prove](https://github.com/berkeley-abc/super_prove) +* [RISC-V Toolchain](https://github.com/riscv/riscv-gcc)