From 1aa04c33a2b22699111a7678c6fafc843b040e7c Mon Sep 17 00:00:00 2001
From: Salvatore Di Girolamo <salvatore.digirolamo@inf.ethz.ch>
Date: Fri, 30 Apr 2021 16:35:48 +0200
Subject: [PATCH 1/5] Update docker.yml

---
 .github/workflows/docker.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index c1ae138..5ce0315 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -23,7 +23,7 @@ jobs:
         with:
           registry: ghcr.io
           username: ${{ github.repository_owner }}
-          password: ${{ secrets.GITHUB_REGISTRY_TOKEN }}
+          password: ${{ secrets.GITHUB_TOKEN }}
       - name: Build and Push Docker Image
         uses: docker/build-push-action@v2
         with:

From 76815f380ff1bd0a5a81dd6c7e52cd9cb18c8c54 Mon Sep 17 00:00:00 2001
From: Salvatore Di Girolamo <salvatore.digirolamo@inf.ethz.ch>
Date: Fri, 30 Apr 2021 16:40:58 +0200
Subject: [PATCH 2/5] Update docker.yml

---
 .github/workflows/docker.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 5ce0315..db300ea 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v1
+        uses: actions/checkout@v2
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v1
         with:
@@ -31,5 +31,4 @@ jobs:
           file: utils/container/Dockerfile
           push: true # Will only build if this is not here
           tags: |
-            ghcr.io/${{ github.repository }}:${{ github.ref }}
-            ghcr.io/${{ github.repository }}:latest
+            ghcr.io/spcl/pspin:latest

From 57fb097b5c536e74ce22df55d0e8668f7390d6ce Mon Sep 17 00:00:00 2001
From: Salvatore Di Girolamo <salvatore.digirolamo@inf.ethz.ch>
Date: Fri, 30 Apr 2021 17:44:15 +0200
Subject: [PATCH 3/5] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index e2aa2e2..cc5fb9c 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ PsPIN [1] is an implementation of the sPIN programming model [2] based on PULP [
 
 ## Dependencies
  - Verilator > v4.100 (https://www.veripool.org/wiki/verilator)
- - RISC-V GCC toolchain (source: https://github.com/pulp-platform/pulp-riscv-gnu-toolchain; prebuilt: link here)
+ - 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
 Here is a walkthrough to setup the simulation and run example handlers. 
@@ -100,7 +100,7 @@ PCIe Master:
 
 It reports information for each of the functional modules (i.e., NIC inbound and outbound engines, PCIe). 
 
-To gain more insights, you can type: `make info``` to produce information about the executed handlers:
+To gain more insights, you can type: `make info` to produce information about the executed handlers:
 ```
 #[key] handler cluster_id core_id start_time end_time latency instructions loads stores bsws branches l2_accesses local_l1_accesses remote_l1_accesses other_accesses
  pingpong_ph 00 0 1225000 1312000 87000 29 9 10 0 0 0 11 0 8

From 78ce1fdb194d3c8bab40b8d2adb7f9d0fec23f41 Mon Sep 17 00:00:00 2001
From: Salvatore Di Girolamo <salvatore.digirolamo@inf.ethz.ch>
Date: Fri, 30 Apr 2021 18:18:04 +0200
Subject: [PATCH 4/5] Update docker.yml

---
 .github/workflows/docker.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index db300ea..9b10cbd 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,6 +1,5 @@
 name: Build&Deploy Docker
 
-# Run workflow on tags starting with v (eg. v2, v1.2.0)
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:

From e9f802df2c90b26a9911e5af4c6aea1848a3ffdd Mon Sep 17 00:00:00 2001
From: Salvatore Di Girolamo <salvatore.digirolamo@inf.ethz.ch>
Date: Fri, 30 Apr 2021 21:10:31 +0200
Subject: [PATCH 5/5] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cc5fb9c..09f9a0b 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ PsPIN [1] is an implementation of the sPIN programming model [2] based on PULP [
     - `examples/*/handlers/`. Handlers code.
 
 ## Dependencies
- - Verilator > v4.100 (https://www.veripool.org/wiki/verilator)
+ - 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