osek-verification.cabal
-
Hans-Peter Deifel authoredHans-Peter Deifel authored
Three guides are available for this repo:
Quickstart
$ git submodule update --init --recursive
$ export RISCV=/path/to/install/riscv/toolchain
$ ./build.sh
Ubuntu packages needed:
$ sudo apt-get install autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool
Building riscv-tools
requires GCC >= 4.8 for C++11 support.
The RISC-V GCC/Newlib Toolchain Installation Manual
This document was authored by Quan Nguyen and is a mirrored version (with slight modifications) of the one found at Quan's OCF website. Recent updates were made by Sagar Karandikar.
Last updated May 10, 2015
Introduction
The purpose of this page is to document a procedure through which an interested user can build the RISC-V GCC/Newlib toolchain.
A project with a duration such as this requires adequate documentation to support future development and maintenance. This document is created with the hope of being useful; however, its accuracy is not guaranteed.
This work was completed at Andrew and Yunsup's request.
Table of Contents
- Introduction
- Table of Contents
- Meta-installation Notes
- Installing the Toolchain
- Testing Your Toolchain
- "Help! It doesn't work!"
Meta-installation Notes
You may notice this document strikes you as similar to its bigger sibling, the Linux/RISC-V Installation Manual. That's because the instructions are rather similar. That said...