diff --git a/tools/tools_schema.json b/tools/tools_schema.json
index faea9e0273..e4c756f711 100644
--- a/tools/tools_schema.json
+++ b/tools/tools_schema.json
@@ -23,6 +23,7 @@
     "toolInfo": {
       "type": "object",
       "description": "Information about one tool",
+      "additionalProperties": false,
       "properties": {
         "name" : {
           "description": "Tool name (used as a directory name)",
@@ -131,6 +132,7 @@
     },
     "versionInfo": {
       "type": "object",
+      "additionalProperties": false,
       "properties": {
         "name" : {
           "description": "Version name (used as a directory name)",
@@ -153,6 +155,9 @@
         "linux-arm64": {
           "$ref": "#/definitions/platformDownloadInfo"
         },
+        "linux-armhf": {
+          "$ref": "#/definitions/platformDownloadInfo"
+        },
         "macos": {
           "$ref": "#/definitions/platformDownloadInfo"
         },
@@ -173,6 +178,7 @@
     "platformDownloadInfo": {
       "description": "Information about download artifact for one platform",
       "type": "object",
+      "additionalProperties": false,
       "properties": {
         "sha256": {
           "type": "string",
@@ -205,6 +211,7 @@
     "platformOverrideInfo": {
       "description": "Platform-specific values which override the defaults",
       "type": "object",
+      "additionalProperties": false,
       "properties": {
         "platforms": {
           "description": "List of platforms to which this override applies",