Use Pydantic schemas to validate Mbed's JSON files (part 1) (#516)

* Start on using pydantic schemas. mbed_lib.json schema working!

* Start on schema for targets.json5

* Schema almost done, start removing old stuff from targets.json5

* Add memory bank schema

* Still crunching away on targets.json5

* Finish targets.json5 logic, appears to generate config correctly!

* Implement schema for mbed_app.json5

* Fix tests

* Use `Self`

* Use legacy Union

* Install eval_type_backport

* Fix another union to be legacy

* Import future annotations

* Another one

* Another

* OK let's do this for every remaining python file

* Fix compatibility with pydantic<2.12

* Fix test building in baremetal (due to previously ignored JSON configs now being used)

* One more

* options -> accepted_values

* Resolve lint errors

* Fix wdt-reset-workaround option

* Baremetal for everything!

* Fix trying to build emac test on baremetal

* Also fix wifi test building

* Disable building BlueNRG tests with baremetal

* Fix infinite recursion, disable kvstore test on baremetal

* Respond to comments

Author: multiplemonomials

.github/workflows/greentea_cmake.yml

@@ -133,8 +133,8 @@ jobs:
           apt-get update
           apt-get install -y python3-venv
 
+      # Always build with baremetal profile, as it should work with every target
       - name: Build ${{ matrix.target }} with baremetal profile
-        if: ${{ matrix.profile == 'baremetal' }}
         # Note: We have to set a wifi network name and password so that the test will compile on devices that use wifi
         run: |
             rm -rf __build

TESTS/configs/greentea_baremetal.json5

@@ -1,11 +1,9 @@
 {
-    "target_overrides": {
-        "*": {
-            "target.c_lib": "small",
-            "target.application-profile": "bare-metal"
-        }
-    },
     "overrides": {
+        "target.c_lib": "small",
+
+        "target.application-profile": "bare-metal",
+
         // Enable Mbed Stats tests
         "platform.all-stats-enabled": 1,
 

cmsis/device/rtos/mbed_lib.json

@@ -1,11 +1,10 @@
 {
     "name": "rtos",
     "config": {
-      "rtos": {
-         "help": "Select RTOS  (RTX or N/A)",
-         "value": "RTX"
-      },
-        "present": 1,
+        "rtos": {
+           "help": "Select RTOS  (RTX or N/A)",
+           "value": "RTX"
+         },
          "main-thread-stack-size": {
             "help": "The size of the main thread's stack",
             "value": 4096

connectivity/FEATURE_BLE/mbed_lib.json

@@ -1,6 +1,5 @@
 {
     "name": "ble",
-    "requires": ["ble-api-implementation"],
     "config": {
         "present": 1,
         "ble-role-observer": {

connectivity/FEATURE_BLE/source/cordio/TESTS/cordio_hci/driver/CMakeLists.txt

@@ -1,9 +1,18 @@
 # Copyright (c) 2020 ARM Limited. All rights reserved.
 # SPDX-License-Identifier: Apache-2.0
 
+if("BlueNRG_2" IN_LIST MBED_TARGET_LABELS OR "BlueNRG_MS" IN_LIST MBED_TARGET_LABELS)
+    if(APPLICATION_PROFILE_CONFIG_BAREMETAL)
+        set(TEST_SKIPPED "BlueNRG bluetooth modules require an RTOS!")
+    endif()
+endif()
+
+
 mbed_greentea_add_test(
     TEST_NAME
         mbed-connectivity-ble-cordio-hci-driver
+    TEST_SKIPPED
+        ${TEST_SKIPPED}
     TEST_SOURCES
         main.cpp
     TEST_REQUIRED_LIBS

connectivity/FEATURE_BLE/source/cordio/TESTS/cordio_hci/transport/CMakeLists.txt

@@ -5,6 +5,12 @@ if("CORDIO_ZERO_COPY_HCI" IN_LIST MBED_CONFIG_DEFINITIONS OR "CORDIO_ZERO_COPY_H
     set(TEST_SKIPPED "Test not relevant for zero copy hci.")
 endif()
 
+if("BlueNRG_2" IN_LIST MBED_TARGET_LABELS OR "BlueNRG_MS" IN_LIST MBED_TARGET_LABELS)
+    if(APPLICATION_PROFILE_CONFIG_BAREMETAL)
+        set(TEST_SKIPPED "BlueNRG bluetooth modules require an RTOS!")
+    endif()
+endif()
+
 mbed_greentea_add_test(
     TEST_NAME
         mbed-connectivity-ble-cordio-hci-transport

connectivity/FEATURE_BLE/source/cordio/source/BLEInstanceBaseImpl.cpp

@@ -317,7 +317,7 @@ ble::SecurityManager &BLEInstanceBase::getSecurityManager()
 
 const ble::SecurityManager &BLEInstanceBase::getSecurityManager() const
 {
-    const BLEInstanceBase &self = const_cast<BLEInstanceBase &>(*this);
+    BLEInstanceBase &self = const_cast<BLEInstanceBase &>(*this);
     return const_cast<const ble::SecurityManager &>(self.getSecurityManager());
 }
 #endif // BLE_FEATURE_SECURITY

connectivity/drivers/ble/FEATURE_BLE/COMPONENT_BlueNRG_2/CMakeLists.txt

@@ -1,6 +1,11 @@
 # Copyright (c) 2020 ARM Limited. All rights reserved.
 # SPDX-License-Identifier: Apache-2.0
 
+# This driver needs the RTOS
+if(APPLICATION_PROFILE_CONFIG_BAREMETAL)
+    return()
+endif()
+
 add_library(mbed-bluenrg2 STATIC EXCLUDE_FROM_ALL
     BlueNrg2HCIDriver.cpp)
 

connectivity/drivers/ble/FEATURE_BLE/COMPONENT_BlueNRG_MS/CMakeLists.txt

@@ -1,6 +1,11 @@
 # Copyright (c) 2020 ARM Limited. All rights reserved.
 # SPDX-License-Identifier: Apache-2.0
 
+# This driver needs the RTOS
+if(APPLICATION_PROFILE_CONFIG_BAREMETAL)
+	return()
+endif()
+
 add_library(mbed-bluenrg-ms STATIC EXCLUDE_FROM_ALL
 	BlueNrgMsHCIDriver.cpp)
 

connectivity/drivers/ble/FEATURE_BLE/TARGET_STM32WB/mbed_lib.json

@@ -1,4 +1,3 @@
 {
-    "name": "cordio-stm32wb",
-    "requires": ["cordio", "ble"]
+    "name": "cordio-stm32wb"
 }