README *deploy*

.github/workflows/docker.yml

@@ -16,20 +16,12 @@ jobs:
     runs-on: ubuntu-latest
     if: "contains(github.event.head_commit.message, '*deploy*')"
     steps:
-      - name: Check free space before maximize
-        run: |
-          echo "Free space before maximize:"
-          df -h
       - name: Maximize build space
         uses: easimon/maximize-build-space@master
         with:
           root-reserve-mb: 512
           swap-size-mb: 8192
           remove-dotnet: 'true'
-      - name: Check free space after maximize
-        run: |
-          echo "Free space after maximize:"
-          df -h
       - name: Checkout Code
         uses: actions/checkout@v2
       - name: Login to GitHub Container Registry

README.md

@@ -27,10 +27,6 @@ PsPIN [1] is an implementation of the sPIN programming model [2] based on PULP [
     - `examples/*/driver/`. Simulation driver.
     - `examples/*/handlers/`. Handlers code.
 
-## Dependencies
- - Verilator >= v4.108 (https://www.veripool.org/wiki/verilator)
- - RISC-V GCC toolchain (source: https://github.com/pulp-platform/pulp-riscv-gnu-toolchain; prebuilt: [Ubuntu-x86-64](http://spclstorage.inf.ethz.ch/~digirols/pspin/riscv-gcc-ubuntu.tar.gz))
-
 ## Getting started
 
 Please check the docs: https://spcl.github.io/pspin/.