From 3c262a505dd3fe821015beb2dc2f8e3903196f4c Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sat, 25 Aug 2018 00:44:47 +0200 Subject: [PATCH] add howto to install toolchain on Debian 9 --- README.md | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ff1776f63..32789599f 100644 --- a/README.md +++ b/README.md @@ -47,16 +47,25 @@ the HermitCore kernel and applications you need: ### HermitCore cross-toolchain -We provide prebuilt packages (currently Ubuntu 18.04 only) of the HermitCore +We provide prebuilt packages for Ubuntu 18.04 and Debian 9 of the HermitCore toolchain, which can be installed as follows: +**Ubuntu 18.04** + ```bash $ echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | sudo tee -a /etc/apt/sources.list $ sudo apt-get -qq update $ sudo apt-get install binutils-hermit newlib-hermit pte-hermit gcc-hermit libomp-hermit libhermit ``` -For non-Debian based systems, a docker image with the complete toolchain is provided and can be installed as follows: +**Debian 9** + +```bash +$ echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/debian stretch main" | sudo tee -a /etc/apt/sources.list +$ sudo apt-get -qq update +$ sudo apt-get install binutils-hermit newlib-hermit pte-hermit gcc-hermit libomp-hermit libhermit + +For unsupported systems, a docker image with the complete toolchain is provided and can be installed as follows: ```bash $ docker pull rwthos/hermitcore