Add CI for the examples.

Also update the RTOS and network-stack submodules and fix issues along
the way.

A recent compiler change broke the old version of the RTOS, which broke
the examples.  CI should make it easy to avoid this in the future.

Fixes #2

Author: davidchisnall

.github/workflows/main.yml

@@ -5,6 +5,16 @@ on:
     branches: [ main ]
   pull_request:
     branches: [ main ]
+  workflow_dispatch:
+    inputs:
+      rtos_commit:
+        description: 'Set to override default RTOS commit hash'
+        type: string
+        required: false
+      network_stack_commit:
+        description: 'Set to override default network stack commit hash'
+        type: string
+        required: false
 
 
 jobs:
@@ -24,8 +34,8 @@ jobs:
     - name: Run clang-format
       run: ./scripts/run_clang_format.sh /cheriot-tools/bin
 
-  build-examples:
-    name: Build examples
+  check-examples:
+    name: Build and run examples
     runs-on: ubuntu-latest
     container:
       image: ghcr.io/cheriot-platform/devcontainer:latest
@@ -35,6 +45,18 @@ jobs:
       uses: actions/checkout@v4
       with:
         submodules: recursive
+    - name: Set RTOS version
+      if: ${{ inputs.rtos_commit }}
+      run: |
+        cd cheriot-rtos
+        git checkout ${{ inputs.rtos_commit }}
+        git submodule update --init --recursive
+    - name: Set network stack version
+      if: ${{ inputs.network_stack_commit }}
+      run: |
+        cd network-stack
+        git checkout ${{ inputs.network_stack_commit }}
+        git submodule update --init --recursive
     - name: Build examples
       run: |
         set -e
@@ -46,9 +68,45 @@ jobs:
             xmake
           fi
         done
+    - name: Run examples
+      run: |
+        try_run()
+        {
+          timeout 10 xmake run
+          RESULT=$?
+          if [ $RESULT -eq 0 ] ; then
+            return 0
+          fi
+          if [ -f .noterminate -a $RESULT -eq 124 ] ; then
+            echo Killed via timeout, as expected
+            return 0
+          fi
+          if [ -f .xcrash ] ; then
+            echo Killed via CHERI trap, as expected
+            return 0
+          fi
+          echo Test $(pwd) failed!
+          exit 1
+        }
+
+        for example_dir in $PWD/examples/*/; do
+          if [ -f $example_dir/xmake.lua ] ; then
+            cd $example_dir
+            # Skip trying to run tests if the don't run on a simulator
+            if grep sail xmake.lua ; then
+              echo Testing $example_dir with Sail
+              try_run
+            fi
+            if grep ibex xmake.lua ; then
+              echo Testing $example_dir with Ibex
+              try_run
+            fi
+          fi
+        done
+
 
   all-checks:
-    needs: [build-examples, check-format]
+    needs: [check-examples, check-format]
     runs-on: ubuntu-latest
     steps:
     - name: Dummy step

cheriot-rtos

@@ -2,6 +2,7 @@
 // SPDX-License-Identifier: MIT
 
 #include "hello.h"
+#include <allocator.h>
 #include <debug.hh>
 #include <futex.h>
 #include <locks.hh>

examples/check_arguments/uart.cc

@@ -3,6 +3,7 @@
 
 #include <debug.hh>
 #include <fail-simulator-on-error.h>
+#include <futex.h>
 #include <queue.h>
 #include <timeout.hh>
 #include <token.h>