Usage of high-resolution counter device on Zephyr boards. Update to v3.4.0

.github/actions/setup-zephyr/action.yml

@@ -6,7 +6,7 @@ runs:
     - name: Setup environment variables
       run: |
         echo "SDK_VERSION=0.16.1" >> $GITHUB_ENV
-        echo "ZEPHYR_VERSION=3.3.0" >> $GITHUB_ENV
+        echo "ZEPHYR_VERSION=3.4.0" >> $GITHUB_ENV
       shell: bash
     - name: Dependencies
       run: |

.github/workflows/c-zephyr-tests.yml

@@ -41,7 +41,9 @@ jobs:
         if: ${{ inputs.runtime-ref }}
       - name: Run Zephyr smoke tests
         run: |
-          ./gradlew core:integrationTest --tests org.lflang.tests.runtime.CZephyrTest.buildZephyr* core:integrationTestCodeCoverageReport
+          ./gradlew core:integrationTest \
+            --tests org.lflang.tests.runtime.CZephyrTest.buildZephyrUnthreaded* \
+            --tests org.lflang.tests.runtime.CZephyrTest.buildZephyrThreaded* core:integrationTestCodeCoverageReport
           ./.github/scripts/run-zephyr-tests.sh test/C/src-gen
           rm -r test/C/src-gen
       - name: Run basic tests
@@ -54,6 +56,10 @@ jobs:
           ./gradlew core:integrationTest --tests org.lflang.tests.runtime.CZephyrTest.buildConcurrent* core:integrationTestCodeCoverageReport
           ./.github/scripts/run-zephyr-tests.sh test/C/src-gen
           rm -r test/C/src-gen
+      - name: Run Zephyr board tests
+        run: |
+          ./gradlew core:integrationTest --tests org.lflang.tests.runtime.CZephyrTest.buildZephyrBoards* core:integrationTestCodeCoverageReport
+          rm -r test/C/src-gen
       - name: Report to CodeCov
         uses: ./.github/actions/report-code-coverage
         with:

core/src/integrationTest/java/org/lflang/tests/runtime/CCppTest.java

@@ -44,6 +44,7 @@ private static boolean isExcludedFromCCpp(TestCategory category) {
         isMac() && (category == TestCategory.DOCKER_FEDERATED || category == TestCategory.DOCKER);
     excluded |= category == TestCategory.ZEPHYR_UNTHREADED;
     excluded |= category == TestCategory.ZEPHYR_THREADED;
+    excluded |= category == TestCategory.ZEPHYR_BOARDS;
     excluded |= category == TestCategory.ARDUINO;
     excluded |= category == TestCategory.NO_INLINING;
     excluded |= category == TestCategory.VERIFIER;

core/src/integrationTest/java/org/lflang/tests/runtime/CZephyrTest.java

@@ -55,6 +55,18 @@ public void buildZephyrUnthreadedTests() {
         false);
   }
 
+  @Test
+  public void buildZephyrBoardsTests() {
+    Assumptions.assumeTrue(isLinux(), "Zephyr tests only run on Linux");
+    super.runTestsFor(
+        List.of(Target.C),
+        Message.DESC_ZEPHYR,
+        TestCategory.ZEPHYR_BOARDS::equals,
+        Configurators::noChanges,
+        TestLevel.BUILD,
+        false);
+  }
+
   @Test
   public void buildZephyrThreadedTests() {
     Assumptions.assumeTrue(isLinux(), "Zephyr tests only run on Linux");

core/src/main/java/org/lflang/generator/c/CCmakeGenerator.java

@@ -144,8 +144,8 @@ CodeBuilder generateCMakeCode(
           cMakeCode.pr("# Selecting default board");
           cMakeCode.pr("set(BOARD qemu_cortex_m3)");
         }
-        cMakeCode.pr("# We recommend Zephyr v3.3.0 but we are compatible with older versions also");
-        cMakeCode.pr("find_package(Zephyr REQUIRED HINTS $ENV{ZEPHYR_BASE} 3.3.0)");
+        cMakeCode.pr("# We recommend Zephyr v3.4.0 but we are compatible with older versions also");
+        cMakeCode.pr("find_package(Zephyr REQUIRED HINTS $ENV{ZEPHYR_BASE} 3.4.0)");
         cMakeCode.newLine();
         cMakeCode.pr("project(" + executableName + " LANGUAGES C)");
         cMakeCode.newLine();
@@ -326,25 +326,23 @@ CodeBuilder generateCMakeCode(
       cMakeCode.newLine();
     }
 
-    if (targetConfig.threading) {
+    if (targetConfig.threading && targetConfig.platformOptions.platform != Platform.ZEPHYR) {
       // If threaded computation is requested, add the threads option.
       cMakeCode.pr("# Find threads and link to it");
       cMakeCode.pr("find_package(Threads REQUIRED)");
       cMakeCode.pr("target_link_libraries(${LF_MAIN_TARGET} PRIVATE Threads::Threads)");
       cMakeCode.newLine();
-      // If the LF program itself is threaded, we need to define NUMBER_OF_WORKERS so that
-      // platform-specific C files will contain the appropriate functions
+    }
+
+    // Add additional flags so runtime can distinguish between multi-threaded and single-threaded
+    // mode
+    if (targetConfig.threading) {
       cMakeCode.pr("# Set the number of workers to enable threading/tracing");
       cMakeCode.pr(
           "target_compile_definitions(${LF_MAIN_TARGET} PUBLIC NUMBER_OF_WORKERS="
               + targetConfig.workers
               + ")");
       cMakeCode.newLine();
-    }
-
-    // Add additional flags so runtime can distinguish between multi-threaded and single-threaded
-    // mode
-    if (targetConfig.threading) {
       cMakeCode.pr("# Set flag to indicate a multi-threaded runtime");
       cMakeCode.pr("target_compile_definitions( ${LF_MAIN_TARGET} PUBLIC LF_THREADED=1)");
     } else {

core/src/main/resources/lib/platform/zephyr/README.md

@@ -0,0 +1,3 @@
+# Zephyr platform files
+These are files needed to compile LF programs for the Zephyr target.
+All of the files in the `boards` directory are for enabling a Timer peripheral for different devices so that we can use a Counter device for time-keeping. These device tree config overlays are copied from the `alarm` example found in the zephyr source tree under `samples/drivers/counter/alarm`.

core/src/main/resources/lib/platform/zephyr/boards/arduino_due.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/bl5340_dvk_cpuapp.conf

@@ -0,0 +1,5 @@
+# Enable RTC
+CONFIG_I2C=y
+CONFIG_COUNTER=y
+CONFIG_COUNTER_MICROCHIP_MCP7940N=y
+CONFIG_COUNTER_INIT_PRIORITY=65

core/src/main/resources/lib/platform/zephyr/boards/bl5340_dvk_cpuapp.overlay

@@ -0,0 +1,12 @@
+/*
+ * Copyright (c) 2021 Laird Connectivity
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+&i2c1 {
+	/* Connect MCP7940N MFP pin TP9 to P0.04 */
+	extrtc0: mcp7940n@6f {
+		int-gpios = <&gpio0 4 GPIO_ACTIVE_HIGH>;
+	};
+};

core/src/main/resources/lib/platform/zephyr/boards/esp32c3_devkitm.overlay

@@ -0,0 +1,3 @@
+&timer0 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/esp32s2_saola.overlay

@@ -0,0 +1,3 @@
+&timer0 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/esp32s3_devkitm.overlay

@@ -0,0 +1,3 @@
+&timer0 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32e103v_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <29999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32e507v_start.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <44999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32e507z_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <44999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f350r_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <26999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f403z_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <41999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f407v_start.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <41999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f450i_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <49999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f450v_start.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <49999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f450z_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <49999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/gd32f470i_eval.overlay

@@ -0,0 +1,10 @@
+/*
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Copyright (c) 2022 TOKITA Hiroshi <[email protected]>
+ */
+
+&timer0 {
+	status = "okay";
+	prescaler = <59999>;
+};

core/src/main/resources/lib/platform/zephyr/boards/nrf51dk_nrf51422.overlay

@@ -0,0 +1,3 @@
+&timer1 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/nrf52840dk_nrf52840.overlay

@@ -0,0 +1,3 @@
+&rtc0 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/nrf52dk_nrf52832.overlay

@@ -0,0 +1,3 @@
+&timer1 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/nrf9160dk_nrf9160.overlay

@@ -0,0 +1,3 @@
+&rtc0 {
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/s32z270dc2_rtu0_r52.overlay

@@ -0,0 +1,10 @@
+/*
+ * Copyright 2022 NXP
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+&stm0 {
+	prescaler = <1>;
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/s32z270dc2_rtu1_r52.overlay

@@ -0,0 +1,10 @@
+/*
+ * Copyright 2022 NXP
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+&stm0 {
+	prescaler = <1>;
+	status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam4e_xpro.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam4s_xplained.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam_e70_xplained.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam_e70b_xplained.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam_v71_xult.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/sam_v71b_xult.overlay

@@ -0,0 +1,4 @@
+&tc0 {
+        clk = <4>;
+        status = "okay";
+};

core/src/main/resources/lib/platform/zephyr/boards/stm32h735g_disco.overlay

@@ -0,0 +1,6 @@
+&timers2 {
+	st,prescaler = <83>;
+	counter {
+		status = "okay";
+	};
+};

core/src/main/resources/lib/platform/zephyr/boards/stm32l562e_dk_ns.conf

@@ -0,0 +1,7 @@
+#
+# Copyright (c) 2022 O.S.Systems
+#
+# SPDX-License-Identifier: Apache-2.0
+#
+CONFIG_BUILD_WITH_TFM=y
+CONFIG_TFM_PROFILE_TYPE_MEDIUM=y

core/src/testFixtures/java/org/lflang/tests/Configurators.java

@@ -115,6 +115,7 @@ public static boolean compatibleWithThreadingOff(TestCategory category) {
             || category == TestCategory.ARDUINO
             || category == TestCategory.VERIFIER
             || category == TestCategory.ZEPHYR_UNTHREADED
+            || category == TestCategory.ZEPHYR_BOARDS
             || category == TestCategory.ZEPHYR_THREADED;
 
     // SERIALIZATION and TARGET tests are excluded on Windows.

core/src/testFixtures/java/org/lflang/tests/TestRegistry.java

@@ -334,6 +334,7 @@ public enum TestCategory {
     ARDUINO(false, "", TestLevel.BUILD),
     ZEPHYR_THREADED(false, "zephyr" + File.separator + "threaded", TestLevel.BUILD),
     ZEPHYR_UNTHREADED(false, "zephyr" + File.separator + "unthreaded", TestLevel.BUILD),
+    ZEPHYR_BOARDS(false, "zephyr" + File.separator + "boards", TestLevel.BUILD),
     VERIFIER(false, "verifier", TestLevel.EXECUTION),
     TARGET(false, "", TestLevel.EXECUTION);
 

test/C/src/zephyr/boards/ArduinoDue.lf

@@ -0,0 +1,14 @@
+target C {
+  platform: {
+    name: Zephyr,
+    board: arduino_due
+  }
+}
+
+main reactor {
+  timer t(0, 1 sec)
+
+  reaction(t) {=
+    printf("Hello\n");
+  =}
+}

test/C/src/zephyr/boards/ESP32.lf

@@ -0,0 +1,14 @@
+target C {
+  platform: {
+    name: Zephyr,
+    board: esp32
+  }
+}
+
+main reactor {
+  timer t(0, 1 sec)
+
+  reaction(t) {=
+    printf("Hello\n");
+  =}
+}

test/C/src/zephyr/boards/GD32.lf

@@ -0,0 +1,14 @@
+target C {
+  platform: {
+    name: Zephyr,
+    board: gd32f403z_eval
+  }
+}
+
+main reactor {
+  timer t(0, 1 sec)
+
+  reaction(t) {=
+    printf("Hello\n");
+  =}
+}