Add smart_meter demo to CI.

Also set default board for smart_meter demo to sonata-1.1.
CHERIoT-Platform · Feb 18, 2025 · 778c515 · 778c515
1 parent d7861f8
commit 778c515
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,7 +18,7 @@ jobs:
     strategy:
       matrix:
         build-type: [ debug, release ]
-        demo: [compartmentalisation, configuration_broker_ibex, configuration_broker_sonata, HughV1, HughV2]
+        demo: [compartmentalisation, configuration_broker_ibex, configuration_broker_sonata, HughV1, HughV2, smart_meter]
         include:
           - xmake-run: false
           - build-type: debug
@@ -39,6 +39,9 @@ jobs:
           - demo: configuration_broker_ibex
             build-dir: configuration_broker/ibex-safe-simulator
             xmake-run: true
+          - demo: smart_meter
+            build-dir: smartmeter/cheriot
+            extra-config: --IPv6=n
       fail-fast: false
     runs-on: ubuntu-latest
     container:

diff --git a/smartmeter/cheriot/xmake.lua b/smartmeter/cheriot/xmake.lua
@@ -17,7 +17,7 @@ local function on_load_ipv6(target)
 end
 
 option("board")
-  set_default("sonata")
+  set_default("sonata-1.1")
 
 compartment("housekeeping")
   add_includedirs(path.join(netdir,"include"))