chore(ci): run the test suite on Armv7-M+FPU+DSP, v8-MBL, v8-MML, v8-MML+FPU

Author: yvt

.github/workflows/ci.yml

@@ -95,7 +95,33 @@ jobs:
           sudo apt-get install libusb-1.0-0-dev qemu-system-arm
 
       - name: Install Additional Target of the Rust Toolchain
-        run: rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
+        run: |
+          rustup target add thumbv6m-none-eabi thumbv7m-none-eabi thumbv7em-none-eabihf
+          rustup target add thumbv8m.base-none-eabi thumbv8m.main-none-eabi thumbv8m.main-none-eabihf
+
+      - name: Test (MPS2+ AN505, Armv8-M Mainline + FPU)
+        uses: actions-rs/cargo@v1
+        with:
+          command: run
+          args: -p constance_port_arm_m_test_runner -- -t qemu_mps2_an505 -l debug
+
+      - name: Test (MPS2+ AN505, Armv8-M Mainline)
+        uses: actions-rs/cargo@v1
+        with:
+          command: run
+          args: -p constance_port_arm_m_test_runner -- -t qemu_mps2_an505_v8mml -l debug
+
+      - name: Test (MPS2+ AN505, Armv8-M Baseline)
+        uses: actions-rs/cargo@v1
+        with:
+          command: run
+          args: -p constance_port_arm_m_test_runner -- -t qemu_mps2_an505_v8mbl -l debug
+
+      - name: Test (MPS2+ AN505, Armv7-M + FPU + DSP)
+        uses: actions-rs/cargo@v1
+        with:
+          command: run
+          args: -p constance_port_arm_m_test_runner -- -t qemu_mps2_an505_v7em_hf -l debug
 
       - name: Test (MPS2+ AN385, Armv7-M)
         uses: actions-rs/cargo@v1

README.md

@@ -19,20 +19,20 @@ Constance is a proof-of-concept of a static RTOS that utilizes Rust's compile-ti
 
 ## Implementation Status
 
-|       Core       |     Library     |        Ports       |
-| :--------------- | :-------------- | :----------------- |
-| ☑︎ Tasks          | ☐ `Mutex`       | ☑︎ `std` (Hosted)   |
-| ☑︎ Hunks          | ☐ `RwLock`      | ☑︎ Armv7-M          |
-| ☑︎ Wait Objects   | ☐ `Once`        | ☑︎ Armv6-M          |
-| ☑︎ Timeouts       | ☐ Logger        |                    |
-| ☐ Semaphores     | ☐ C API         |                    |
-| ☑︎ Event Groups   |                 |                    |
-| ☐ Mutexes        | **Tools**       | **Boards**         |
-| ☑︎ Timers         | ☑︎ Test Harness  | ☑︎ Hosted           |
-| ☑︎ Interrupts     | ☑︎ Test Suite    | ☑︎ F401RE           |
-| ☑︎ Startup Hooks  | ☑︎ Configurator  |                    |
-| ☐ CPU Exceptions |                 |                    |
-| ☐ Panicking      |                 |                    |
+|       Core       |     Library     |        Ports        |
+| :--------------- | :-------------- | :------------------ |
+| ☑︎ Tasks          | ☐ `Mutex`       | ☑︎ `std` (Hosted)    |
+| ☑︎ Hunks          | ☐ `RwLock`      | ☑︎ Armv8-M (no CMSE) |
+| ☑︎ Wait Objects   | ☐ `Once`        | ☑︎ Armv7-M           |
+| ☑︎ Timeouts       | ☐ Logger        | ☑︎ Armv6-M           |
+| ☐ Semaphores     | ☐ C API         |                     |
+| ☑︎ Event Groups   |                 |                     |
+| ☐ Mutexes        | **Tools**       | **Boards**          |
+| ☑︎ Timers         | ☑︎ Test Harness  | ☑︎ Hosted            |
+| ☑︎ Interrupts     | ☑︎ Test Suite    | ☑︎ F401RE            |
+| ☑︎ Startup Hooks  | ☑︎ Configurator  |                     |
+| ☐ CPU Exceptions |                 |                     |
+| ☐ Panicking      |                 |                     |
 
 ## Example