WIP debug, remove load

axel-h · Jun 14, 2024 · 7d88ef9 · 7d88ef9
1 parent 4d1dada
commit 7d88ef9
Show file tree

Hide file tree

Showing 5 changed files with 69 additions and 4 deletions.
diff --git a/.github/workflows/sel4bench-hw.yml b/.github/workflows/sel4bench-hw.yml
@@ -20,6 +20,22 @@ permissions:
   contents: read
 
 jobs:
+  info:
+    runs-on: ubuntu-latest
+    steps:
+    - env:
+        inputs_JSON: ${{ toJSON(inputs) }}
+        github_JSON: ${{ toJSON(github) }}
+      run: |
+        echo ${{ github.workspace }}
+        echo ${GITHUB_WORKSPACE}
+        echo "workflow:" ${{ github.workflow_ref }}
+        ls -la /home/runner
+        ls -la /home/runner/runners
+        ls -la /home/runner/work
+        ls -la /home/runner/work/_PipelineMapping/axel-h
+        ls -la /home/runner/work/_temp
+
   code:
     name: Freeze Code
     runs-on: ubuntu-latest
@@ -42,6 +58,7 @@ jobs:
       matrix:
         march: [armv7a, armv8a, nehalem, rv64imac]
     steps:
+    - run: echo ${{ github.workflow }}-sel4bench-build-pr-${{ github.event.number }}-${{ strategy.job-index }}
     - name: Build
       uses: seL4/ci-actions/sel4bench@master
       with:
@@ -76,6 +93,7 @@ jobs:
           - platform: pc99
             req: haswell3
     steps:
+      - run: echo ${{ github.workflow }}-sel4bench-hw-run-pr-${{ github.event.number }}-${{ strategy.job-index }}
       - name: Get machine queue
         uses: actions/checkout@v4
         with:

diff --git a/.github/workflows/sel4projects.yml b/.github/workflows/sel4projects.yml
@@ -32,7 +32,12 @@ jobs:
                       contains(github.event.pull_request.labels.*.name, 'hw-bench')) }}
     runs-on: ubuntu-latest
     steps:
-    - run: echo "dummy"
+    - env:
+        inputs_JSON: ${{ toJSON(inputs) }}
+        github_JSON: ${{ toJSON(github) }}
+      run: |
+        echo "workflow:" ${{ github.workflow_ref }}
+
 
   sel4test:
     name: sel4test

diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
@@ -21,6 +21,22 @@ permissions:
   contents: read
 
 jobs:
+  info:
+    runs-on: ubuntu-latest
+    steps:
+    - env:
+        inputs_JSON: ${{ toJSON(inputs) }}
+        github_JSON: ${{ toJSON(github) }}
+      run: |
+        echo ${{ github.workspace }}
+        echo ${GITHUB_WORKSPACE}
+        echo "workflow:" ${{ github.workflow_ref }}
+        ls -la /home/runner
+        ls -la /home/runner/runners
+        ls -la /home/runner/work
+        ls -la /home/runner/work/_PipelineMapping/axel-h
+        ls -la /home/runner/work/_temp
+
   code:
     name: Freeze Code
     runs-on: ubuntu-latest
@@ -45,6 +61,7 @@ jobs:
         march: [armv7a, armv8a, nehalem, rv64imac]
         compiler: [gcc, clang]
     steps:
+    - run: echo ${{ github.workflow }}-sel4test-build-pr-${{ github.event.number }}-${{ strategy.job-index }}
     - name: Build
       uses: seL4/ci-actions/sel4test-hw@master
       with:
@@ -72,6 +89,18 @@ jobs:
     - id: matrix
       uses: seL4/ci-actions/sel4test-hw-matrix@master
 
+  hw-run-debug1:
+    runs-on: ubuntu-latest
+    needs: [code, hw-build]
+    steps:
+      - run: echo ${{ needs.code.outputs.matrix }}
+
+  hw-run-debug2:
+    runs-on: ubuntu-latest
+    needs: [hw-build]
+    steps:
+      - run: echo ${{ needs.code.outputs.matrix }}
+
   hw-run:
     name: HW Run
     runs-on: ubuntu-latest
@@ -81,6 +110,7 @@ jobs:
       fail-fast: false
       matrix: ${{ fromJson(needs.the_matrix.outputs.matrix) }}
     steps:
+      - run: echo ${{ github.workflow }}-sel4test-hw-run-pr-${{ github.event.number }}-${{ strategy.job-index }}
       - name: Get machine queue
         uses: actions/checkout@v4
         with:

diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml
@@ -12,6 +12,21 @@ on:
   workflow_call:
 
 jobs:
+  info:
+    runs-on: ubuntu-latest
+    steps:
+    - env:
+        github_JSON: ${{ toJSON(github) }}
+      run: |
+        echo ${{ github.workspace }}
+        echo ${{ github.workflow }}-sel4sim-pr-${{ github.event.number }}
+        echo ${GITHUB_WORKSPACE}
+        ls -la /home/runner
+        ls -la /home/runner/runners
+        ls -la /home/runner/work
+        ls -la /home/runner/work/_PipelineMapping/axel-h
+        ls -la /home/runner/work/_temp
+
   sim:
     name: Simulation
     runs-on: ubuntu-latest

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -106,9 +106,6 @@ platforms:
 # platforms where MCS is wholly unsupported
 # (for platforms with partial support see sel4test-hw/build.py and comments below)
 mcs_unsupported_platforms:
-  # both fail SCHED0012 and debug assertions on boot:
-  - IMX8MQ_EVK
-  - MAAXBOARD
   # unsupported for specific configs: ODROID_X4, TX2
   # unsupported for multicore: SABRE, IMX8MM_EVK
   # see also https://github.com/seL4/ci-actions/blob/master/sel4test-hw/build.py