Merge pull request #415 from pulp-platform/michaero/pulpissimo-v8-dev

Michaero/pulpissimo v8 dev

.bender.yml

@@ -0,0 +1,4 @@
+overrides:
+  gpio: { path: "hw/vendored_ips/gpio" } # Override to use the vendored in copy of
+                                      # the GPIO repo to allow reconfiguration
+                                      # of the number of GPIO pads.

.github/workflows/gitlab-ci.yml

@@ -0,0 +1,25 @@
+# Copyright 2024 ETH Zurich and University of Bologna.
+# Solderpad Hardware License, Version 0.51, see LICENSE for details.
+# SPDX-License-Identifier: SHL-0.51
+
+# Some CI tests run on our GitLab servers due to licenses and tools
+name: gitlab-ci
+on: [push, pull_request, workflow_dispatch]
+jobs:
+  gitlab-ci:
+    name: Internal Gitlab CI
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Check Gitlab CI
+        uses: pulp-platform/pulp-actions/gitlab-ci@v2.2.0
+        # Skip on forks or pull requests from forks due to missing secrets.
+        if:
+          github.repository == 'pulp-platform/pulpissimo' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
+        with:
+          domain: iis-git.ee.ethz.ch
+          repo: github-mirror/pulpissimo
+          token: ${{ secrets.GITLAB_TOKEN }}
+          poll-period: 20
+          poll-count: 1000
+          retry-count: 100
+          retry-period: 50

.gitignore

@@ -3,7 +3,10 @@ xcelium.d/
 xrun.history
 xrun.log
 .bender
-bender
+/utils/bin/bender
 work/
 compile.tcl
 working_dir/
+/utils/bin/padrick
+/Bender.local
+/build